From ab74d1427a7f26fff12929f84193a5559b58cc7b Mon Sep 17 00:00:00 2001
From: Chris Jones <cmsj@kodachi>
Date: Thu, 26 Jun 2008 01:20:25 +0100
Subject: [PATCH] Remember titlebar setting when zooming. Closes LP #241007

---
 terminator | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

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