From 895226aaa99884885e264a1f3757cae8fe74c89d Mon Sep 17 00:00:00 2001 From: Stephen Boddy Date: Sat, 10 Jan 2009 17:00:05 +0100 Subject: [PATCH] Two minor fixes to prevent unused groups lingering in the submenu when a terminal is close/ungrouped. --- terminatorlib/terminator.py | 1 + terminatorlib/terminatorterm.py | 2 +- 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/terminatorlib/terminator.py b/terminatorlib/terminator.py index 457690fa..4da92ccf 100755 --- a/terminatorlib/terminator.py +++ b/terminatorlib/terminator.py @@ -824,6 +824,7 @@ class Terminator: self.toggle_zoom(widget, not self._maximised) if self.remove(widget): + self.group_hoover() return True return False diff --git a/terminatorlib/terminatorterm.py b/terminatorlib/terminatorterm.py index 6de1f9c1..36995cce 100755 --- a/terminatorlib/terminatorterm.py +++ b/terminatorlib/terminatorterm.py @@ -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")