Antonio Scandurra d89465c451 Merge pull request #1356 from zed-industries/differentiate-same-tab-titles ...

Differentiate among tabs with the same name

2022-07-15 08:30:22 +02:00

..

color_translation.rs

Properly fixed merge issues

2022-07-07 18:05:37 -07:00

connection.rs

Added clear screan command

2022-07-13 13:19:21 -07:00

modal.rs

Fixed modal terminal bindings to not show in command palette

2022-07-13 16:39:22 -07:00

terminal_element.rs

remove temporary work

2022-07-13 12:18:43 -07:00

terminal.rs

Merge pull request #1356 from zed-industries/differentiate-same-tab-titles

2022-07-15 08:30:22 +02:00