Jason LeeandPiotr Osiewicz 3c6c850390 task: Add re-run task button to terminal title (#12379) ...

Release Notes:

- Added re-run task button to terminal title.

Close #12277

## Demo


https://github.com/zed-industries/zed/assets/5518/4cd05fa5-4255-412b-8583-68e22f86561e

---------

Co-authored-by: Piotr Osiewicz <piotr@zed.dev>

2024-05-29 11:40:43 +02:00

..

persistence.rs

Changed SQLez migrations to be executed eagerly

2023-01-30 14:38:48 -08:00

terminal_element.rs

Allow UI font weight to be assigned in settings (#12333)

2024-05-26 23:06:58 -06:00

terminal_panel.rs

Allow ssh connection for setting up zed (#12063)

2024-05-21 22:39:16 -06:00

terminal_view.rs

task: Add re-run task button to terminal title (#12379)

2024-05-29 11:40:43 +02:00