mirrors/zed
1
0
Fork 0
mirror of https://github.com/zed-industries/zed.git synced 2025-02-05 10:20:51 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 12
zed/crates/terminal_view/src
History
Max Brunsfeld 42eca3048f Move font size adjustment code to the theme crate
2023-05-17 15:56:32 -07:00
..
persistence.rs
terminal_button.rs Define theme/ui text style settings in theme crate 2023-05-17 14:44:59 -07:00
terminal_element.rs Move font size adjustment code to the theme crate 2023-05-17 15:56:32 -07:00
terminal_view.rs Remove optional path argument when getting settings 2023-05-17 15:05:20 -07:00