From 23f469add37f1fec58ac0c720662196c120fd5a1 Mon Sep 17 00:00:00 2001 From: Chris Jones Date: Mon, 11 Jan 2010 23:46:18 +0000 Subject: [PATCH] Fix up handle_size to work properly --- terminator | 1 + terminatorlib/preferences.glade | 2 +- terminatorlib/prefseditor.py | 2 +- terminatorlib/terminator.py | 7 ++++++- 4 files changed, 9 insertions(+), 3 deletions(-) diff --git a/terminator b/terminator index ab5e694f..fa857073 100755 --- a/terminator +++ b/terminator @@ -50,6 +50,7 @@ if __name__ == '__main__': MAKER = Factory() TERMINATOR = Terminator() + TERMINATOR.reconfigure() WINDOW = MAKER.make('Window') TERMINAL = MAKER.make('Terminal') diff --git a/terminatorlib/preferences.glade b/terminatorlib/preferences.glade index 8ae6d543..a9e4ee5d 100644 --- a/terminatorlib/preferences.glade +++ b/terminatorlib/preferences.glade @@ -2191,7 +2191,7 @@ -1 -1 - 5 + 7 1 2 2 diff --git a/terminatorlib/prefseditor.py b/terminatorlib/prefseditor.py index 5c73df57..9569889d 100755 --- a/terminatorlib/prefseditor.py +++ b/terminatorlib/prefseditor.py @@ -213,7 +213,7 @@ class PrefsEditor: self.config['focus'] = value # Handle size widget = guiget('handlesize') - self.config['handle_size'] = widget.get_value() + self.config['handle_size'] = int(widget.get_value()) # Window geometry widget = guiget('wingeomcheck') self.config['geometry_hinting'] = widget.get_active() diff --git a/terminatorlib/terminator.py b/terminatorlib/terminator.py index 670b75c9..82c23190 100755 --- a/terminatorlib/terminator.py +++ b/terminatorlib/terminator.py @@ -88,7 +88,12 @@ class Terminator(Borg): def reconfigure(self): """Update configuration for the whole application""" - # FIXME: Set handle_size here + if self.config['handle_size'] in xrange(0, 6): + gtk.rc_parse_string("""style "terminator-paned-style" { + GtkPaned::handle_size = %s } + class "GtkPaned" style "terminator-paned-style" """ % + self.config['handle_size']) + gtk.rc_reset_styles(gtk.settings_get_default()) # Cause all the terminals to reconfigure for terminal in self.terminals: