Yehowshua/ZIm
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Set window's edited = true when there are unsaved changes

Browse source
This commit is contained in:
Antonio Scandurra 2022-06-23 10:59:50 +02:00
parent a6262b97ff
commit ca8ddcdeec
5 changed files with 38 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -731,6 +731,7 @@ pub struct Workspace {
leader_state: LeaderState,
follower_states_by_leader: FollowerStatesByLeader,
last_leaders_by_pane: HashMap<WeakViewHandle<Pane>, PeerId>,
window_edited: bool,
_observe_current_user: Task<()>,
}
@ -846,6 +847,7 @@ impl Workspace {
leader_state: Default::default(),
follower_states_by_leader: Default::default(),
last_leaders_by_pane: Default::default(),
window_edited: false,
_observe_current_user,
};
this.project_remote_id_changed(this.project.read(cx).remote_id(), cx);
@ -1474,6 +1476,7 @@ impl Workspace {
if pane == self.active_pane {
self.active_item_path_changed(cx);
}
self.update_window_edited(cx);
}
}
} else {
@ -1778,6 +1781,16 @@ impl Workspace {
cx.set_window_title(&title);
}
fn update_window_edited(&mut self, cx: &mut ViewContext<Self>) {
let is_edited = self
.items(cx)
.any(|item| item.has_conflict(cx) || item.is_dirty(cx));
if is_edited != self.window_edited {
self.window_edited = is_edited;
cx.set_window_edited(self.window_edited)
}
}
fn render_collaborators(&self, theme: &Theme, cx: &mut RenderContext<Self>) -> Vec<ElementBox> {
let mut collaborators = self
.project