Adding Paned handle_size support

* adding a value between 0 and 5 in ~/.terminatorrc 's handle_size parameter
    will change the size of the handle. Otherwise, the size will default to the defaultgtk style settings
  * could close LP#203370

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 is not None:
+      gtk.rc_parse_string('\
+        style "paned-style" {\
+            GtkPaned::handle_size = %s \
+        }\
+        \
+        class "GtkPaned" style "paned-style"\
+        ' % self.conf.handle_size)
     self.window = gtk.Window ()
     self.window.set_title (APP_NAME.capitalize())
 

terminatorlib/config.py

@@ -115,6 +115,7 @@ class TerminatorConfValuestore:
     'active_encodings'      : ['UTF-8', 'ISO-8859-1'],
     'background_image'      : '',
     'extreme_tabs'          : False,
+    'handle_size'           : None,
   }
 
   def __getattr__ (self, keyname):