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

Tidy up handle size handling a little, but it is still insufficient, albeit not regressive

This commit is contained in:
Chris Jones 2010-04-07 22:23:31 +01:00
parent 09e8f37cb2
commit f9352625c4
2 changed files with 10 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
terminatorlib/prefseditor.py
View File

@ -746,7 +746,10 @@ class PrefsEditor:
def on_handlesize_change_value(self, widget, scroll, value): def on_handlesize_change_value(self, widget, scroll, value):
"""Handle size changed""" """Handle size changed"""
self.config['handle_size'] = int(value) value = int(value)
if value > 5:
value = 5
self.config['handle_size'] = value
self.config.save() self.config.save()
def on_focuscombo_changed(self, widget): def on_focuscombo_changed(self, widget):

10
terminatorlib/terminator.py
View File

@ -229,10 +229,12 @@ class Terminator(Borg):
"""Update configuration for the whole application""" """Update configuration for the whole application"""
if self.config['handle_size'] in xrange(0, 6): if self.config['handle_size'] in xrange(0, 6):
gtk.rc_parse_string("""style "terminator-paned-style" { gtk.rc_parse_string("""
GtkPaned::handle_size = %s } style "terminator-paned-style" {
class "GtkPaned" style "terminator-paned-style" """ % GtkPaned::handle_size = %s
self.config['handle_size']) }
class "GtkPaned" style "terminator-paned-style"
""" % self.config['handle_size'])
gtk.rc_reset_styles(gtk.settings_get_default()) gtk.rc_reset_styles(gtk.settings_get_default())
# Cause all the terminals to reconfigure # Cause all the terminals to reconfigure