From bae44d8132c8f61a67b9a5b8ed89c3e172e770f2 Mon Sep 17 00:00:00 2001
From: Antonio Scandurra <me@as-cii.com>
Date: Mon, 14 Mar 2022 15:44:57 +0100
Subject: [PATCH] Re-render workspace when removing an inactive pane

Co-Authored-By: Nathan Sobo <nathan@zed.dev>
---
 crates/workspace/src/workspace.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/crates/workspace/src/workspace.rs b/crates/workspace/src/workspace.rs
index 5ea664bf5d..beba155dab 100644
--- a/crates/workspace/src/workspace.rs
+++ b/crates/workspace/src/workspace.rs
@@ -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();
         }
     }