mirrors/zed
1
0
Fork 0
mirror of https://github.com/zed-industries/zed.git synced 2025-01-30 14:17:02 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 10

Fix bug with terminal button

Browse source
This commit is contained in:
Mikayla Maki 2023-05-10 08:15:20 -07:00
parent 26d80eef0a
commit 0dce5ba7ae
No known key found for this signature in database
1 changed files with 3 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -1554,6 +1554,9 @@ impl Workspace {
.map(|ix| (pane.clone(), ix)) .map(|ix| (pane.clone(), ix))
}); });
if let Some((pane, ix)) = result { 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)); pane.update(cx, |pane, cx| pane.activate_item(ix, true, true, cx));
true true
} else { } else {