set_active triggers the 'activate' signal, which makes sense I suppose, but means we were changing profile to the profile we already were set to, which is a waste
This commit is contained in:
parent
606ca3707b
commit
f808a9edc9
|
@ -151,9 +151,9 @@ class TerminalPopupMenu(object):
|
||||||
|
|
||||||
for profile in profilelist:
|
for profile in profilelist:
|
||||||
item = gtk.RadioMenuItem(group, profile.capitalize())
|
item = gtk.RadioMenuItem(group, profile.capitalize())
|
||||||
item.connect('activate', terminal.set_profile, profile)
|
|
||||||
if profile == current:
|
if profile == current:
|
||||||
item.set_active(True)
|
item.set_active(True)
|
||||||
|
item.connect('activate', terminal.set_profile, profile)
|
||||||
submenu.append(item)
|
submenu.append(item)
|
||||||
|
|
||||||
self.add_encoding_items(menu)
|
self.add_encoding_items(menu)
|
||||||
|
|
Loading…
Reference in New Issue