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

Remember titlebar setting when zooming. Closes LP #241007

This commit is contained in:
Chris Jones 2008-06-26 01:20:25 +01:00
parent d4e7e8217c
commit ab74d1427a
1 changed files with 6 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
terminator
View File

@ -1658,12 +1658,15 @@ class Terminator:
def toggle_zoom(self, widget, fontscale = False): def toggle_zoom(self, widget, fontscale = False):
if not self._zoomed: if not self._zoomed:
self.zoom_term (widget, fontscale) widget._titlebars = widget._titlebox.get_property ('visible')
if self.conf.titlebars: dbg ('toggle_zoom: not zoomed. remembered titlebar setting of %s'%widget._titlebars)
if widget._titlebars:
widget._titlebox.hide() widget._titlebox.hide()
self.zoom_term (widget, fontscale)
else: else:
dbg ('toggle_zoom: zoomed. restoring titlebar setting of %s'%widget._titlebars)
self.unzoom_term (widget, True) self.unzoom_term (widget, True)
if self.conf.titlebars and \ if widget._titlebars and \
len(self.term_list) > 1 \ len(self.term_list) > 1 \
and \ and \
(isinstance(widget, TerminatorTerm) and isinstance(widget.get_parent(),gtk.Paned))\ (isinstance(widget, TerminatorTerm) and isinstance(widget.get_parent(),gtk.Paned))\