Only display the menu item for Preferences if there is support for Gtk Builder
This commit is contained in:
parent
5fb0f518c8
commit
fdf169a2fd
|
@ -152,9 +152,10 @@ class TerminalPopupMenu(object):
|
||||||
item.connect('toggled', lambda x: terminal.do_scrollbar_toggle())
|
item.connect('toggled', lambda x: terminal.do_scrollbar_toggle())
|
||||||
menu.append(item)
|
menu.append(item)
|
||||||
|
|
||||||
item = gtk.MenuItem(_('_Preferences'))
|
if hasattr(gtk, 'Builder'):
|
||||||
item.connect('activate', lambda x: PrefsEditor(self.terminal))
|
item = gtk.MenuItem(_('_Preferences'))
|
||||||
menu.append(item)
|
item.connect('activate', lambda x: PrefsEditor(self.terminal))
|
||||||
|
menu.append(item)
|
||||||
|
|
||||||
profilelist = self.config.list_profiles()
|
profilelist = self.config.list_profiles()
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue