From 90064406a03f40494c07bde1e6fde946821051a7 Mon Sep 17 00:00:00 2001 From: Chris Jones Date: Tue, 6 Jan 2009 09:44:38 +0000 Subject: [PATCH] If there are any groups, add a menu item to remove all groupings --- terminatorlib/terminatorterm.py | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/terminatorlib/terminatorterm.py b/terminatorlib/terminatorterm.py index d5c89f1b..553b2741 100755 --- a/terminatorlib/terminatorterm.py +++ b/terminatorlib/terminatorterm.py @@ -1120,6 +1120,11 @@ text/plain item.connect ("activate", self.group_all) widget.append (item) + if len (self.terminator.groupings) > 0: + item = gtk.MenuItem (_("_Ungroup all")) + item.connect ("activate", self.ungroup_all) + widget.append (item) + def create_group (self, item): win = gtk.Window () vbox = gtk.VBox () @@ -1185,6 +1190,11 @@ text/plain term.set_group (None, allname) self.terminator.group_hoover () + def ungroup_all (self, widget): + for term in self.terminator.term_list: + term.set_group (None, None) + self.terminator.group_hoover () + def on_encoding_change (self, widget, encoding): current = self._vte.get_encoding () if current != encoding: