Don't report color scheme preference change when it is changed via escape code

This commit is contained in:
Kovid Goyal 2025-01-05 06:10:49 +05:30
parent f3db7e7554
commit 6fbeb939de
No known key found for this signature in database
GPG key ID: 06BC317B515ACE7C
2 changed files with 5 additions and 5 deletions

View file

@ -1547,10 +1547,10 @@ class Boss:
return tab
return None
def default_bg_changed_for(self, window_id: int) -> None:
def default_bg_changed_for(self, window_id: int, via_escape_code: bool = False) -> None:
w = self.window_id_map.get(window_id)
if w is not None:
w.on_color_scheme_preference_change()
w.on_color_scheme_preference_change(via_escape_code=via_escape_code)
tm = self.os_window_map.get(w.os_window_id)
if tm is not None:
tm.update_tab_bar_data()

View file

@ -1323,10 +1323,10 @@ class Window:
if dirtied:
self.screen.mark_as_dirty()
if default_bg_changed:
get_boss().default_bg_changed_for(self.id)
get_boss().default_bg_changed_for(self.id, via_escape_code=True)
def on_color_scheme_preference_change(self) -> None:
if self.screen.color_preference_notification:
def on_color_scheme_preference_change(self, via_escape_code: bool = False) -> None:
if self.screen.color_preference_notification and not via_escape_code:
self.report_color_scheme_preference()
def report_color_scheme_preference(self) -> None: