![]() Follow-up of https://github.com/zed-industries/zed/pull/28993
* Tone down tasks' cancellation logging
* Fix task terminals' leak, disallowing to fully cancel the task by
dropping the terminal off the pane:
|
||
---|---|---|
.. | ||
persistence.rs | ||
terminal_element.rs | ||
terminal_panel.rs | ||
terminal_scrollbar.rs | ||
terminal_tab_tooltip.rs | ||
terminal_view.rs |