From fdf169a2fd05e65be1dac63be63151bce120d7b5 Mon Sep 17 00:00:00 2001 From: Chris Jones Date: Fri, 2 Jul 2010 11:09:21 +0100 Subject: [PATCH] Only display the menu item for Preferences if there is support for Gtk Builder --- terminatorlib/terminal_popup_menu.py | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/terminatorlib/terminal_popup_menu.py b/terminatorlib/terminal_popup_menu.py index 9eaddb78..f89ad242 100755 --- a/terminatorlib/terminal_popup_menu.py +++ b/terminatorlib/terminal_popup_menu.py @@ -152,9 +152,10 @@ class TerminalPopupMenu(object): item.connect('toggled', lambda x: terminal.do_scrollbar_toggle()) menu.append(item) - item = gtk.MenuItem(_('_Preferences')) - item.connect('activate', lambda x: PrefsEditor(self.terminal)) - menu.append(item) + if hasattr(gtk, 'Builder'): + item = gtk.MenuItem(_('_Preferences')) + item.connect('activate', lambda x: PrefsEditor(self.terminal)) + menu.append(item) profilelist = self.config.list_profiles()