From b4d84d577da98ddb4ff89f9d4dab3e6de6f3f4b1 Mon Sep 17 00:00:00 2001
From: Emmanuel Bretelle <chantra@mangal>
Date: Sat, 7 Jun 2008 14:56:30 +0100
Subject: [PATCH] Fixing some titlebars bugs in Zoom/UnZoom   Also refocus on
 the terminal after zoom/unzoom

---
 TODO       |  7 +++++++
 terminator | 14 +++++++++++++-
 2 files changed, 20 insertions(+), 1 deletion(-)

diff --git a/TODO b/TODO
index 64a16735..cc6f064b 100644
--- a/TODO
+++ b/TODO
@@ -1 +1,8 @@
 * Edit doc/terminatorrc.5 manpage to contain the information about the options
+
+* menu entry/keybinding to hightlight a term upon:
+    * command ending
+    * new text in window
+    * when a command exits, "window-title-changed" is emitted 
+      even though the actual title string do not change
+    * text-modified could be used to spy on outputs from the command
diff --git a/terminator b/terminator
index 9deb7c08..4f0e0e4a 100755
--- a/terminator
+++ b/terminator
@@ -1039,7 +1039,8 @@ class Terminator:
     """
     vertical = pos in ("top", "bottom")
     pane = (vertical) and gtk.VPaned () or gtk.HPaned ()
-    pane.handle_size = 1
+    #pane.handle_size = 1
+    
     
     # get the parent of the provided terminal
     parent   = widget.get_parent ()
@@ -1542,8 +1543,19 @@ class Terminator:
   def toggle_zoom(self, widget):
     if not self._zoomed:
       self.zoom_term (widget)
+      if self.conf.titlebars:
+        widget._titlebox.hide()
+      widget._vte.grab_focus()
     else:
       self.unzoom_term (widget)
+      if self.conf.titlebars and \
+        (\
+            len(self.term_list) > 1 \
+              or \
+            (isinstance(widget, TerminatorTerm) and isinstance(widget.get_parent(),gtk.Notebook))\
+        ):
+        widget._titlebox.show()
+      widget._vte.grab_focus()
 
   def zoom_term (self, widget):
     """Proof of concept: Maximize to full window