From 56eb03712cf19d931b951fe3fdcf5544d011a294 Mon Sep 17 00:00:00 2001
From: Chris Jones <cmsj@kodachi>
Date: Sun, 4 Jan 2009 17:53:19 +0000
Subject: [PATCH] handle an alternate scrollbar disabling value

---
 terminatorlib/prefs_profile.py | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/terminatorlib/prefs_profile.py b/terminatorlib/prefs_profile.py
index 0ee14224..ff56e8ff 100644
--- 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)