From 4713eff2dd0a0eefcdd8e07e9ddaa9f8781a85f2 Mon Sep 17 00:00:00 2001 From: Chris Jones Date: Thu, 15 Jan 2009 00:31:42 +0000 Subject: [PATCH] Merge from Stephen Boddy, fixes some instances where group_hoover is not called or is called incorrectly. Closes LP #315863 --- 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 0659f3f9..b8205960 100755 --- a/terminatorlib/terminator.py +++ b/terminatorlib/terminator.py @@ -829,6 +829,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 ab844a01..dade1df2 100755 --- a/terminatorlib/terminatorterm.py +++ b/terminatorlib/terminatorterm.py @@ -1183,7 +1183,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")