From 4ac3d6dc76a037d0e19eab61b3f487a843b5107d Mon Sep 17 00:00:00 2001
From: Thomas Hurst <tom@hur.st>
Date: Mon, 9 Jun 2008 19:01:16 +0100
Subject: [PATCH] Add a f11_modifier option; if True, it's Ctrl-Shift-F11
 instead of just F11.

---
 terminator              | 8 ++++++--
 terminatorlib/config.py | 1 +
 2 files changed, 7 insertions(+), 2 deletions(-)

diff --git a/terminator b/terminator
index d4d3ef22..54eb952b 100755
--- a/terminator
+++ b/terminator
@@ -891,6 +891,7 @@ class Terminator:
 
     self._zoomed = False
     self._fullscreen = False
+    self._f11_modifier = False
     self.term_list = []
     stores = []
     stores.append (config.TerminatorConfValuestoreRC ())
@@ -906,7 +907,10 @@ class Terminator:
     self.conf = config.TerminatorConfig (stores)
 
     self.icon_theme = gtk.IconTheme ()
-    
+
+    if self.conf.f11_modifier:
+      self._f11_modifier = True
+
     if self.conf.handle_size in range (0,6):
       gtk.rc_parse_string("""
         style "terminator-paned-style" {
@@ -1025,7 +1029,7 @@ class Terminator:
     keyname = gtk.gdk.keyval_name (event.keyval)
     mask = gtk.gdk.CONTROL_MASK | gtk.gdk.SHIFT_MASK
 
-    if (keyname == 'F11'):
+    if (keyname == 'F11' and (self._f11_modifier == False or event.state & mask)):
       self.fullscreen_toggle ()
       return (True)
 
diff --git a/terminatorlib/config.py b/terminatorlib/config.py
index d88baeaf..a4ce1c51 100755
--- a/terminatorlib/config.py
+++ b/terminatorlib/config.py
@@ -126,6 +126,7 @@ class TerminatorConfValuestore:
     'maximise'              : False,
     'handle_size'           : -1,
     'focus_on_close'        : 'auto',
+    'f11_modifier'          : False,
   }
 
   def __getattr__ (self, keyname):