itdominator
/
terminator
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Merge from Stephen Boddy, fixes some instances where group_hoover is not called or is called incorrectly. Closes LP #315863

This commit is contained in:
Chris Jones 2009-01-15 00:31:42 +00:00
parent ae77134f8d
commit 4713eff2dd
2 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
terminatorlib/terminator.py
View File

@ -829,6 +829,7 @@ class Terminator:
self.toggle_zoom(widget, not self._maximised) self.toggle_zoom(widget, not self._maximised)
if self.remove(widget): if self.remove(widget):
self.group_hoover()
return True return True
return False return False

2
terminatorlib/terminatorterm.py
View File

@ -1183,7 +1183,7 @@ text/plain
# We have been removed from a group # We have been removed from a group
if not self.conf.titlebars and not self._want_titlebar: if not self.conf.titlebars and not self._want_titlebar:
self._titlebox.hide () self._titlebox.hide ()
self.terminator.group_hoover () self.terminator.group_hoover ()
def group_all (self, widget): def group_all (self, widget):
allname = _("All") allname = _("All")