Set the theme name

main
bashrc 2026-05-12 11:16:40 +01:00
parent 2bd07a0d12
commit a268560d50
1 changed files with 1 additions and 0 deletions

View File

@ -2490,6 +2490,7 @@ def _profile_post_theme_change(base_dir: str, nickname: str,
domain, allow_local_network_access, domain, allow_local_network_access,
system_language, system_language,
dyslexic_font, True) dyslexic_font, True)
self.server.theme_name = theme_name
self.server.text_mode_banner = get_text_mode_banner(base_dir) self.server.text_mode_banner = get_text_mode_banner(base_dir)
self.server.iconsCache = {} self.server.iconsCache = {}
self.server.fontsCache = {} self.server.fontsCache = {}