terminalpage: workaround for context menu font bug

#116
ddterm · Feb 8, 2022 · 121314d · 121314d
1 parent eb17d03
commit 121314d
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/terminalpage.js b/terminalpage.js
@@ -269,6 +269,8 @@ var TerminalPage = GObject.registerClass(
             this.terminal_popup_menu = Gtk.Menu.new_from_model(this.menus.get_object('terminal-popup'));
             this.setup_popup_menu(this.terminal, this.terminal_popup_menu);
             this.method_handler(this.terminal, 'button-press-event', this.terminal_button_press_early);
+            // https://github.com/amezin/gnome-shell-extension-ddterm/issues/116
+            this.terminal_popup_menu.get_style_context().add_class(Gtk.STYLE_CLASS_CONTEXT_MENU);
 
             const tab_popup_menu = Gtk.Menu.new_from_model(this.menus.get_object('tab-popup'));
             this.setup_popup_menu(this.tab_label, tab_popup_menu);