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

Checkpoint

Browse Source
This commit is contained in:
Antonio Scandurra 2023-10-19 19:47:50 +02:00
parent 2b90b8d6b7
commit 1343ea66c9
1 changed files with 14 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
crates/gpui3/src/app.rs
View File

@ -167,6 +167,7 @@ impl AppContext {
}
Effect::Emit { .. } => self.pending_effects.push_back(effect),
Effect::FocusChanged { .. } => self.pending_effects.push_back(effect),
Effect::Refresh => self.pending_effects.push_back(effect),
}
}
@ -181,6 +182,9 @@ impl AppContext {
Effect::FocusChanged { window_id, focused } => {
self.apply_focus_changed(window_id, focused)
}
Effect::Refresh => {
self.apply_refresh();
}
}
} else {
break;
@ -286,6 +290,14 @@ impl AppContext {
.ok();
}
pub fn apply_refresh(&mut self) {
for window in self.windows.values_mut() {
if let Some(window) = window.as_mut() {
window.dirty = true;
}
}
}
pub fn to_async(&self) -> AsyncAppContext {
AsyncAppContext(unsafe { mem::transmute(self.this.clone()) })
}
@ -408,10 +420,7 @@ impl AppContext {
pub fn bind_keys(&mut self, bindings: impl IntoIterator<Item = KeyBinding>) {
self.keymap.write().add_bindings(bindings);
let window_ids = self.windows.keys().collect::<SmallVec<[_; 8]>>();
for window_id in window_ids {
self.update_window(window_id, |cx| cx.notify()).unwrap();
}
self.push_effect(Effect::Refresh);
}
}
@ -502,6 +511,7 @@ pub(crate) enum Effect {
window_id: WindowId,
focused: Option<FocusId>,
},
Refresh,
}
#[cfg(test)]