app: re-apply font settings on style change

#674
ddterm · Dec 29, 2023 · bbb7514 · bbb7514
1 parent f604a7a
commit bbb7514
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/ddterm/app/terminal.js b/ddterm/app/terminal.js
@@ -432,6 +432,9 @@ export const Terminal = GObject.registerClass({
     }
 
     on_style_updated() {
+        // VTE bug? https://github.com/ddterm/gnome-shell-extension-ddterm/issues/674
+        this.set_font(this.get_font());
+
         if (!this._foreground_from_style && !this._background_from_style)
             return;