From 823e15d85a5dbc1605c83d5bf5958364c0477f21 Mon Sep 17 00:00:00 2001
From: Max Brunsfeld <maxbrunsfeld@gmail.com>
Date: Wed, 17 May 2023 16:02:21 -0700
Subject: [PATCH] Refresh windows when settings file changes

---
 crates/settings/src/settings.rs      | 3 +--
 crates/settings/src/settings_file.rs | 1 +
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/crates/settings/src/settings.rs b/crates/settings/src/settings.rs
index 4ab504a96f28b7f72f3d40eda48049b38e0db306..840797c6ad644cc851c298712e7db080a0650d78 100644
--- a/crates/settings/src/settings.rs
+++ b/crates/settings/src/settings.rs
@@ -2,12 +2,11 @@ mod keymap_file;
 mod settings_file;
 mod settings_store;
 
-use std::{borrow::Cow, str};
-
 use gpui::AssetSource;
 pub use keymap_file::{keymap_file_json_schema, KeymapFileContent};
 pub use settings_file::*;
 pub use settings_store::{Setting, SettingsJsonSchemaParams, SettingsStore};
+use std::{borrow::Cow, str};
 
 pub const DEFAULT_SETTINGS_ASSET_PATH: &str = "settings/default.json";
 pub const INITIAL_USER_SETTINGS_ASSET_PATH: &str = "settings/initial_user_settings.json";
diff --git a/crates/settings/src/settings_file.rs b/crates/settings/src/settings_file.rs
index 79e0d1eb317ccdb81fbb7726e115b4b19b31935e..30848713d9ce4bff41ca06ecc965e26594efe887 100644
--- a/crates/settings/src/settings_file.rs
+++ b/crates/settings/src/settings_file.rs
@@ -89,6 +89,7 @@ pub fn handle_settings_file_changes(
                         .set_user_settings(&user_settings_content, cx)
                         .log_err();
                 });
+                cx.refresh_windows();
             });
         }
     })