checkpoint dealing with personal manager/editor

2026-03-10 23:47:53 -04:00
parent 26e03d2c9f
commit 94598b605a
37 changed files with 42 additions and 7 deletions
--- a/src/theme.py
+++ b/src/theme.py
@@ -388,3 +388,4 @@ def load_from_config(config: dict[str, Any]) -> None:
 if font_path:
  apply_font(font_path, font_size)
 set_scale(scale)
+