mirror of
https://github.com/zed-industries/zed.git
synced 2025-01-10 20:41:59 +00:00
eb9ddef083
Deals with https://github.com/zed-industries/community/issues/1856 Release Notes: - Fixed terminal tab tooltip being truncated |
||
---|---|---|
.. | ||
persistence.rs | ||
terminal_element.rs | ||
terminal_panel.rs | ||
terminal_view.rs |