mirrors/zed
1
0
Fork 0
mirror of https://github.com/zed-industries/zed.git synced 2025-02-10 12:19:28 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

Avoid workspace use while leased

Browse source
This commit is contained in:
Julia 2023-12-20 11:28:56 -05:00
parent 0390fb1449
commit 5840750b3d
1 changed files with 7 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

14
crates/workspace2/src/pane.rs
View file

@ -1452,15 +1452,15 @@ impl Pane {
}
fn update_status_bar(&mut self, cx: &mut ViewContext<Self>) {
let Ok(status_bar) = self
.workspace
.update(cx, |workspace, _| workspace.status_bar.clone())
else {
return;
};
let workspace = self.workspace.clone();
let pane = cx.view().clone();
cx.window_context().defer(move |cx| {
let Ok(status_bar) = workspace.update(cx, |workspace, _| workspace.status_bar.clone())
else {
return;
};
status_bar.update(cx, move |status_bar, cx| {
status_bar.set_active_pane(&pane, cx);
});