Few UI cleanups

2026-04-20 11:24:14 +01:00
parent b072731aed
commit f5aa35ac27
5 changed files with 106 additions and 21 deletions
@@ -79,6 +79,9 @@ class Settings {
            if (this.app.terminals && this._prefs.terminalTheme) {
                this.app.terminals.applyTheme(this._prefs.terminalTheme);
            }
+            if (this.app && typeof this.app._applyPreferences === 'function') {
+                this.app._applyPreferences();
+            }

            this.app.notifications.success('Settings saved');
            this.close();