Two minor fixes to prevent unused groups lingering in the submenu when a terminal is close/ungrouped.
This commit is contained in:
parent
a30755e670
commit
895226aaa9
@ -824,6 +824,7 @@ class Terminator:
|
||||
self.toggle_zoom(widget, not self._maximised)
|
||||
|
||||
if self.remove(widget):
|
||||
self.group_hoover()
|
||||
return True
|
||||
return False
|
||||
|
||||
|
@ -1201,7 +1201,7 @@ text/plain
|
||||
# We have been removed from a group
|
||||
if not self.conf.titlebars and not self._want_titlebar:
|
||||
self._titlebox.hide ()
|
||||
self.terminator.group_hoover ()
|
||||
self.terminator.group_hoover ()
|
||||
|
||||
def group_all (self, widget):
|
||||
allname = _("All")
|
||||
|
Loading…
Reference in New Issue
Block a user