Merge pull request #2202 from zed-industries/petros/z-86-replace-terminal-tab-title-with-an-icon

Replace terminal tab title with an icon
2023-02-23 11:04:43 +02:00 · 2023-02-23 11:04:43 +02:00 · 9a729a2e64
commit 9a729a2e64
parent 1c636500de 3d6c81584f
5 changed files with 10 additions and 11 deletions
--- a/crates/theme/src/theme.rs
+++ b/crates/theme/src/theme.rs
@ -257,8 +257,6 @@ pub struct Search {
    pub match_background: Color,
    pub match_index: ContainedText,
    pub results_status: TextStyle,
-    pub tab_icon_width: f32,
-    pub tab_icon_spacing: f32,
    pub dismiss_button: Interactive<IconButton>,
 }