Specify tab padding in theme

Nathan Sobo created 4 years ago

Change summary

zed/assets/themes/_base.toml | 1 +
zed/src/workspace/pane.rs    | 1 -
2 files changed, 1 insertion(+), 1 deletion(-)

Detailed changes

zed/assets/themes/_base.toml

@@ -5,6 +5,7 @@ background = "$elevation_1"
 background = "$elevation_2"
 text = "$text_dull"
 border.color = "#000000"
+padding = { left = 10, right = 10 }
 icon_close = "#383839"
 icon_dirty = "#556de8"
 icon_conflict = "#e45349"

zed/src/workspace/pane.rs

@@ -244,7 +244,6 @@ impl Pane {
                         } else {
                             &theme.tab.container
                         })
-                        .with_horizontal_padding(10.)
                         .with_border(border);
 
                         if is_active {