itdominator
/
terminator
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Fix up handle_size to work properly

This commit is contained in:
Chris Jones 2010-01-11 23:46:18 +00:00
parent adfaf600fa
commit 23f469add3
4 changed files with 9 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
terminator
View File

@ -50,6 +50,7 @@ if __name__ == '__main__':
MAKER = Factory() MAKER = Factory()
TERMINATOR = Terminator() TERMINATOR = Terminator()
TERMINATOR.reconfigure()
WINDOW = MAKER.make('Window') WINDOW = MAKER.make('Window')
TERMINAL = MAKER.make('Terminal') TERMINAL = MAKER.make('Terminal')

2
terminatorlib/preferences.glade
View File

@ -2191,7 +2191,7 @@
<object class="GtkAdjustment" id="adjustment1"> <object class="GtkAdjustment" id="adjustment1">
<property name="value">-1</property> <property name="value">-1</property>
<property name="lower">-1</property> <property name="lower">-1</property>
<property name="upper">5</property> <property name="upper">7</property>
<property name="step_increment">1</property> <property name="step_increment">1</property>
<property name="page_increment">2</property> <property name="page_increment">2</property>
<property name="page_size">2</property> <property name="page_size">2</property>

2
terminatorlib/prefseditor.py
View File

@ -213,7 +213,7 @@ class PrefsEditor:
self.config['focus'] = value self.config['focus'] = value
# Handle size # Handle size
widget = guiget('handlesize') widget = guiget('handlesize')
self.config['handle_size'] = widget.get_value() self.config['handle_size'] = int(widget.get_value())
# Window geometry # Window geometry
widget = guiget('wingeomcheck') widget = guiget('wingeomcheck')
self.config['geometry_hinting'] = widget.get_active() self.config['geometry_hinting'] = widget.get_active()

7
terminatorlib/terminator.py
View File

@ -88,7 +88,12 @@ class Terminator(Borg):
def reconfigure(self): def reconfigure(self):
"""Update configuration for the whole application""" """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 # Cause all the terminals to reconfigure
for terminal in self.terminals: for terminal in self.terminals: