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

Revert "workspace: Disable padding on zoomed panels" (#36884)

Browse source 
Reverts zed-industries/zed#36012

We thought we didn't need this UI, but it turns out it was load bearing
:)

Release Notes:

- Restored the zoomed panel padding
This commit is contained in:
Mikayla Maki 2025-08-25 10:46:36 -07:00 • committed by GitHub
parent 2e1ca47241
commit f1204dfc33
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 13 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

16
crates/workspace/src/workspace.rs
View file

@ -6622,15 +6622,25 @@ impl Render for Workspace {
} }
}) })
.children(self.zoomed.as_ref().and_then(|view| { .children(self.zoomed.as_ref().and_then(|view| {
Some(div() let zoomed_view = view.upgrade()?;
let div = div()
.occlude() .occlude()
.absolute() .absolute()
.overflow_hidden() .overflow_hidden()
.border_color(colors.border) .border_color(colors.border)
.bg(colors.background) .bg(colors.background)
.child(view.upgrade()?) .child(zoomed_view)
.inset_0() .inset_0()
.shadow_lg()) .shadow_lg();
Some(match self.zoomed_position {
Some(DockPosition::Left) => div.right_2().border_r_1(),
Some(DockPosition::Right) => div.left_2().border_l_1(),
Some(DockPosition::Bottom) => div.top_2().border_t_1(),
None => {
div.top_2().bottom_2().left_2().right_2().border_1()
}
})
})) }))
.children(self.render_notifications(window, cx)), .children(self.render_notifications(window, cx)),
) )