From 25683b4cba54f838dc5c2de881554a4d25f9645d Mon Sep 17 00:00:00 2001
From: zumbalogy <3770982+zumbalogy@users.noreply.github.com>
Date: Fri, 22 Aug 2025 13:46:33 -0400
Subject: [PATCH] dock buttons now have proper padding

---
 crates/workspace/src/dock.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/crates/workspace/src/dock.rs b/crates/workspace/src/dock.rs
index 7a8de6e910..5951a7efe0 100644
--- a/crates/workspace/src/dock.rs
+++ b/crates/workspace/src/dock.rs
@@ -933,6 +933,7 @@ impl Render for PanelButtons {
 
         h_flex()
             .gap_1()
+            .when(has_buttons, |this| this.py(DynamicSpacing::Base04.rems(cx)))
             .when(
                 has_buttons && dock.position == DockPosition::Bottom,
                 |this| this.child(Divider::vertical().color(DividerColor::Border)),