From 7494a395ed0ec80e0314bd11c6024ae6f0887058 Mon Sep 17 00:00:00 2001 From: Nathan Sobo Date: Wed, 4 Aug 2021 16:08:15 -0600 Subject: [PATCH] Specify tab padding in theme --- zed/assets/themes/_base.toml | 1 + zed/src/workspace/pane.rs | 1 - 2 files changed, 1 insertion(+), 1 deletion(-) diff --git a/zed/assets/themes/_base.toml b/zed/assets/themes/_base.toml index 1b646b40a2..e2283d2580 100644 --- a/zed/assets/themes/_base.toml +++ b/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" diff --git a/zed/src/workspace/pane.rs b/zed/src/workspace/pane.rs index 69c1a3af0b..511e48dfd4 100644 --- a/zed/src/workspace/pane.rs +++ b/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 {