From dde782a0066b54809ed2ae16f2105419bb4a8873 Mon Sep 17 00:00:00 2001 From: Nathan Sobo Date: Tue, 28 Sep 2021 12:26:26 -0600 Subject: [PATCH] Remove top/bottom padding from project panel Co-Authored-By: Max Brunsfeld --- zed/assets/themes/_base.toml | 2 ++ 1 file changed, 2 insertions(+) diff --git a/zed/assets/themes/_base.toml b/zed/assets/themes/_base.toml index 40661a4030f78c0248581a23bf09f420a580e3fc..59c232e992145b5f4cc3f5483925add018d21aa9 100644 --- a/zed/assets/themes/_base.toml +++ b/zed/assets/themes/_base.toml @@ -162,6 +162,8 @@ corner_radius = 6 [project_panel] extends = "$panel" entry = "$text.0" +padding.left = "$panel.padding" +padding.right = "$panel.padding" [selector] background = "$surface.0"