From ae922111b0bc93a17312b45eecfe17fbe91f2599 Mon Sep 17 00:00:00 2001
From: Emmanuel Bretelle <chantra@mangal>
Date: Mon, 26 May 2008 11:32:08 +0100
Subject: [PATCH] Fixing Ctrl-Tab and Ctrl-Shift-Tab behaviour   *closes
 LP#234904

---
 terminator | 13 ++++++++-----
 1 file changed, 8 insertions(+), 5 deletions(-)

diff --git a/terminator b/terminator
index 6fa3ffec..9c8aa83e 100755
--- a/terminator
+++ b/terminator
@@ -635,13 +635,16 @@ text/plain
           return (True)
     
     if keyname and (keyname == 'Tab' or keyname.endswith('_Tab')):
-        if event.state == gtk.gdk.CONTROL_MASK:
-            self.terminator.go_next (self)
-            return (True)
+        mask = gtk.gdk.CONTROL_MASK | gtk.gdk.SHIFT_MASK
         if (event.state & mask) == mask:
             self.terminator.go_prev (self)
             return (True)
-
+        mask = gtk.gdk.CONTROL_MASK
+        if (event.state & mask) == mask:
+            self.terminator.go_next (self)
+            return (True)
+    # Warning, mask value is either gtk.gdk.CONTROL_MASK or gtk.gdk.CONTROL_MASK | gtk.gdk.SHIFT_MASK
+    # if you intend to use it, reinit it
     return (False)
 
   def zoom (self, zoom_in):
@@ -986,7 +989,7 @@ class Terminator:
     """
     vertical = pos in ("top", "bottom")
     pane = (vertical) and gtk.VPaned () or gtk.HPaned ()
-
+    
     # get the parent of the provided terminal
     parent   = widget.get_parent ()