![]() This adds a button to the terminal tab bar: <img width="444" alt="image" src="https://github.com/user-attachments/assets/71baadae-0ecf-493f-853c-34d4d6a48310"> Release Notes: - N/A |
||
---|---|---|
.. | ||
persistence.rs | ||
terminal_element.rs | ||
terminal_panel.rs | ||
terminal_view.rs |