From 0dce5ba7aed61ce488cacb86b3bcc8a59ff115d3 Mon Sep 17 00:00:00 2001
From: Mikayla Maki <mikayla.c.maki@gmail.com>
Date: Wed, 10 May 2023 08:15:20 -0700
Subject: [PATCH] Fix bug with terminal button

---
 crates/workspace/src/workspace.rs | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/crates/workspace/src/workspace.rs b/crates/workspace/src/workspace.rs
index 2c7836e5df..8a62a28c11 100644
--- a/crates/workspace/src/workspace.rs
+++ b/crates/workspace/src/workspace.rs
@@ -1554,6 +1554,9 @@ impl Workspace {
                 .map(|ix| (pane.clone(), ix))
         });
         if let Some((pane, ix)) = result {
+            if &pane == self.dock_pane() {
+                Dock::show(self, false, cx);
+            }
             pane.update(cx, |pane, cx| pane.activate_item(ix, true, true, cx));
             true
         } else {