fix the group_all hotkey

This commit is contained in:
Chris Jones 2009-07-14 00:15:34 +01:00
parent b044cd385c
commit 05e5323097

View File

@ -1664,8 +1664,7 @@ text/plain
allname = _("All") allname = _("All")
self.add_group(allname) self.add_group(allname)
for term in self.terminator.term_list: for term in self.terminator.term_list:
if term._group is None: term.set_group (None, allname)
term.set_group (None, allname)
self.terminator.group_hoover () self.terminator.group_hoover ()
def ungroup_all (self, widget): def ungroup_all (self, widget):