From 67d4fd2585aa27e89f8adc470e5501ec95ccc725 Mon Sep 17 00:00:00 2001
From: Thomas Meire <blackskad@gmail.com>
Date: Sun, 6 Jan 2008 09:35:16 +0100
Subject: [PATCH] Fix check for key-mask when zooming out.

---
 terminator | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/terminator b/terminator
index 35601155..65fc7d0d 100755
--- a/terminator
+++ b/terminator
@@ -315,8 +315,9 @@ class TerminatorTerm:
         self.zoom (True)
         return (True)
 
+    mask = gtk.gdk.CONTROL_MASK
     if keyname and (keyname == 'minus'):
-      if event.state == gtk.gdk.CONTROL_MASK:
+      if (event.state & mask) == mask:
         self.zoom (False)
 
     if keyname and (keyname == 'Tab' or keyname.endswith('_Tab')):