ayo/kitty
1
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

make mypy happy

Browse source
This commit is contained in:
Kovid Goyal 2025-04-12 14:00:23 +05:30
parent 56954b2e48
commit 97445818ca
No known key found for this signature in database
GPG key ID: 06BC317B515ACE7C
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
kitty/boss.py
View file

@ -2698,6 +2698,7 @@ def apply_new_options(self, opts: Options) -> None:
if theme_colors.has_applied_theme:
theme_colors.refresh()
if theme_colors.has_applied_theme: # in case the theme file was deleted
assert theme_colors.applied_theme # to make mypy happy
theme_colors.apply_theme(theme_colors.applied_theme, notify_on_bg_change=False)
for w in self.all_windows:
if w.screen.color_profile.default_bg != bg_colors_before.get(w.id):