handle an alternate scrollbar disabling value

2009-01-04 17:53:19 +00:00 · 2009-01-04 17:53:19 +00:00 · 56eb03712c
parent 77487d0e31
commit 56eb03712c
1 changed files with 2 additions and 0 deletions
--- a/terminatorlib/prefs_profile.py
+++ b/terminatorlib/prefs_profile.py
@ -127,6 +127,8 @@ class ProfileEditor:
        widget.set_range(0, 100000)
        widget.set_value(value)
      elif key == 'scrollbar_position':
+        if value == 'hidden':
+          value = 'disabled'
        widget = gtk.combo_box_new_text()
        for item in self.scrollbar_position:
          widget.append_text (item)