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

Always refresh the windows when the settings change

Browse source
This commit is contained in:
Max Brunsfeld 2022-03-10 15:34:04 -08:00
parent 00056fbe88
commit f32107eb8e
3 changed files with 27 additions and 17 deletions
Download patch file Download diff file Expand all files Collapse all files

4
crates/zed/src/zed.rs
View file

@ -34,12 +34,10 @@ pub fn init(app_state: &Arc<AppState>, cx: &mut gpui::MutableAppContext) {
cx.add_global_action(quit);
cx.add_global_action({
let settings_tx = app_state.settings_tx.clone();
move |action: &AdjustBufferFontSize, cx| {
move |action: &AdjustBufferFontSize, _| {
let mut settings_tx = settings_tx.lock();
let new_size = (settings_tx.borrow().buffer_font_size + action.0).max(MIN_FONT_SIZE);
settings_tx.borrow_mut().buffer_font_size = new_size;
cx.refresh_windows();
}
});