Yehowshua/ZIm
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

dock buttons now have proper padding

Browse source
This commit is contained in:
zumbalogy 2025-08-22 13:46:33 -04:00
parent bae3ed8522
commit 25683b4cba
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
crates/workspace/src/dock.rs
View file

@ -933,6 +933,7 @@ impl Render for PanelButtons {
h_flex() h_flex()
.gap_1() .gap_1()
.when(has_buttons, |this| this.py(DynamicSpacing::Base04.rems(cx)))
.when( .when(
has_buttons && dock.position == DockPosition::Bottom, has_buttons && dock.position == DockPosition::Bottom,
|this| this.child(Divider::vertical().color(DividerColor::Border)), |this| this.child(Divider::vertical().color(DividerColor::Border)),