mirrors/zed
1
0
Fork 0
mirror of https://github.com/zed-industries/zed.git synced 2024-10-25 07:55:56 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 7
zed/crates/terminal_view/src
History
Petros Amoiridis 6c68a3e709
Remove unneeded code
2023-03-09 20:02:40 +02:00
..
persistence.rs
terminal_button.rs Remove unneeded code 2023-03-09 20:02:40 +02:00
terminal_element.rs
terminal_view.rs Give focus to the selected terminal 2023-03-08 19:47:57 +02:00