Allow control over the size of the GtkPaned handle. Fixes LP #203370

doc/terminatorrc.5

@@ -93,5 +93,21 @@ Default value: \fB\-A\-Za\-z0\-9,./?%&#:_\fR
 .B mouse_autohide \fR(boolean)
 Controls whether the mouse cursor should be hidden while typing. 
 Default value: \fBTrue\fR
+.TP 
+.B fullscreen \fR(boolean)
+Controls whether the Terminator window will be started in fullscreen mode
+Default value: \fBFalse\fR
+.TP 
+.B maximise \fR(boolean)
+Controls whether the Terminator window will be started maximised
+Default value: \fBFalse\fR
+.TP 
+.B borderless \fR(boolean)
+Controls whether the Terminator window will be started without window borders
+Default value: \fBFalse\fR
+.TP 
+.B handle_size
+Controls the width of the separator between terminals. Anything outside the range 0-5 (inclusive) will be ignored and use your default theme value.
+Default value: \fB-1\fR
 .SH "SEE ALSO"
 .BR gnome\-terminal(1)

terminator

@@ -857,6 +857,17 @@ class Terminator:
       pass
 
     self.conf = config.TerminatorConfig (stores)
+    #changes to the Paned's handle_size can only be done
+    # once we loaded the configuration
+    
+    if self.conf.handle_size in range (0,6):
+      gtk.rc_parse_string("""
+        style "terminator-paned-style" {
+            GtkPaned::handle_size = %s 
+        }
+        
+        class "GtkPaned" style "terminator-paned-style"
+        """ % self.conf.handle_size)
     self.window = gtk.Window ()
     self.window.set_title (APP_NAME.capitalize())
 

terminatorlib/config.py

@@ -118,6 +118,7 @@ class TerminatorConfValuestore:
     'fullscreen'            : False,
     'borderless'            : False,
     'maximise'              : False,
+    'handle_size'           : -1,
   }
 
   def __getattr__ (self, keyname):