zed-industries/zed
1
1
Fork 0
mirror of https://github.com/zed-industries/zed.git synced 2024-11-07 20:39:04 +03:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #2460 from zed-industries/show-dock-on-activate

Browse Source 
Fix bug with terminal button
This commit is contained in:
Mikayla Maki 2023-05-10 09:08:45 -07:00 committed by GitHub
commit c7fcc031eb
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
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))
});
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 {