Minor cosmetic change when we delete the group in the grouplabel widget, it the drop down radio properly to 'None'

This commit is contained in:
Stephen Boddy 2012-10-24 15:21:53 +02:00
parent af549969ed
commit 64749ffa4f

View File

@ -266,7 +266,7 @@ class Titlebar(gtk.EventBox):
def groupentry_activate(self, widget): def groupentry_activate(self, widget):
"""Actually cause a group to be created""" """Actually cause a group to be created"""
groupname = self.groupentry.get_text() groupname = self.groupentry.get_text() or None
dbg('Titlebar::groupentry_activate: creating group: %s' % groupname) dbg('Titlebar::groupentry_activate: creating group: %s' % groupname)
self.groupentry_cancel(None, None) self.groupentry_cancel(None, None)
last_focused_term=self.terminator.last_focused_term last_focused_term=self.terminator.last_focused_term