mirrors/zed
1
0
Fork 0
mirror of https://github.com/zed-industries/zed.git synced 2024-10-24 15:42:53 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 8

🎨

Browse source
This commit is contained in:
Max Brunsfeld 2023-05-31 13:07:20 -07:00
parent c48fed26bd
commit 193474a346
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -1701,7 +1701,7 @@ impl Workspace {
fn dismiss_zoomed_items_to_reveal( fn dismiss_zoomed_items_to_reveal(
&mut self, &mut self,
except_position: Option<DockPosition>, dock_to_reveal: Option<DockPosition>,
cx: &mut ViewContext<Self>, cx: &mut ViewContext<Self>,
) { ) {
// If a center pane is zoomed, unzoom it. // If a center pane is zoomed, unzoom it.
@ -1715,7 +1715,7 @@ impl Workspace {
let mut focus_center = false; let mut focus_center = false;
for dock in [&self.left_dock, &self.right_dock, &self.bottom_dock] { for dock in [&self.left_dock, &self.right_dock, &self.bottom_dock] {
dock.update(cx, |dock, cx| { dock.update(cx, |dock, cx| {
if Some(dock.position()) != except_position { if Some(dock.position()) != dock_to_reveal {
if let Some(panel) = dock.active_panel() { if let Some(panel) = dock.active_panel() {
if panel.is_zoomed(cx) { if panel.is_zoomed(cx) {
focus_center |= panel.has_focus(cx); focus_center |= panel.has_focus(cx);
@ -1730,7 +1730,7 @@ impl Workspace {
cx.focus_self(); cx.focus_self();
} }
if self.zoomed_position != except_position { if self.zoomed_position != dock_to_reveal {
self.zoomed = None; self.zoomed = None;
self.zoomed_position = None; self.zoomed_position = None;
} }