From 49335d017a7663e94e27c9d6f5c6c908e684631d Mon Sep 17 00:00:00 2001 From: Mikayla Maki Date: Mon, 8 May 2023 17:25:28 -0700 Subject: [PATCH] Add manual removal code to remove_panes --- crates/workspace/src/workspace.rs | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/crates/workspace/src/workspace.rs b/crates/workspace/src/workspace.rs index d69484caa7..4a6ae57f07 100644 --- a/crates/workspace/src/workspace.rs +++ b/crates/workspace/src/workspace.rs @@ -2459,7 +2459,14 @@ impl Workspace { self.remove_panes(child.clone(), cx) } } - Member::Pane(pane) => self.remove_pane(pane.clone(), cx), + Member::Pane(pane) => { + self.panes.retain(|p| p != &pane); + cx.focus(self.panes.last().unwrap()); + if self.last_active_center_pane == Some(pane.downgrade()) { + self.last_active_center_pane = None; + } + cx.notify(); + }, } }