Add a f11_modifier option; if True, it's Ctrl-Shift-F11 instead of just F11.

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)
 

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):