KittyPatch/kitty
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Fix background image not changing when reloading config

Browse Source
This commit is contained in:
Kovid Goyal 2023-03-01 10:50:33 +05:30
parent cbf3b5860b
commit 0616f9e077
No known key found for this signature in database
GPG Key ID: 06BC317B515ACE7C
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
kitty/boss.py
View File

@ -2346,7 +2346,6 @@ class Boss:
def apply_new_options(self, opts: Options) -> None: def apply_new_options(self, opts: Options) -> None:
from .fonts.box_drawing import set_scale from .fonts.box_drawing import set_scale
# Update options storage # Update options storage
set_options(opts, is_wayland(), self.args.debug_rendering, self.args.debug_font_fallback) set_options(opts, is_wayland(), self.args.debug_rendering, self.args.debug_font_fallback)
apply_options_update() apply_options_update()
@ -2363,6 +2362,10 @@ class Boss:
# Update key bindings # Update key bindings
self.update_keymap() self.update_keymap()
# Update misc options # Update misc options
try:
set_background_image(opts.background_image, tuple(self.os_window_map), True, opts.background_image_layout)
except Exception as e:
log_error(f'Failed to set background image with error: {e}')
for tm in self.all_tab_managers: for tm in self.all_tab_managers:
tm.apply_options() tm.apply_options()
# Update colors # Update colors