mirrors/zed
1
0
Fork 0
mirror of https://github.com/zed-industries/zed.git synced 2025-02-07 02:57:34 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 9
zed/crates/terminal_view/src
History
Joseph Lyons e6857866d4 Update terminal panel tooltip
2023-05-23 22:23:38 -04:00
..
persistence.rs
terminal_element.rs Move font size adjustment code to the theme crate 2023-05-17 15:56:32 -07:00
terminal_panel.rs Update terminal panel tooltip 2023-05-23 22:23:38 -04:00
terminal_view.rs Merge branch 'main' into panels 2023-05-22 14:10:17 +02:00