If there are any groups, add a menu item to remove all groupings
This commit is contained in:
parent
438e656210
commit
90064406a0
@ -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:
|
||||
|
Loading…
Reference in New Issue
Block a user