Re-render workspace when removing an inactive pane

Co-Authored-By: Nathan Sobo <nathan@zed.dev>
2022-03-14 15:49:08 +01:00
parent e62781a57b
commit bae44d8132
1 changed files with 1 additions and 0 deletions
@@ -1089,6 +1089,7 @@ impl Workspace {
        if self.center.remove(&pane).unwrap() {
            self.panes.retain(|p| p != &pane);
            self.activate_pane(self.panes.last().unwrap().clone(), cx);
+            cx.notify();
        }
    }