Mikayla Maki dfdc826015 Create a new setting to adjust the line height in the terminal

2023-04-20 17:24:27 -07:00

..

persistence.rs

Changed SQLez migrations to be executed eagerly

2023-01-30 14:38:48 -08:00

terminal_button.rs

Don't export platform::* from gpui

2023-04-07 11:45:53 -06:00

terminal_element.rs

Create a new setting to adjust the line height in the terminal

2023-04-20 17:24:27 -07:00

terminal_view.rs

Remove unnecessary lifetimes from tab_tooltip_text

2023-04-18 14:03:02 -04:00