From a32ec63a46de4dc72a6341679f301022a370e129 Mon Sep 17 00:00:00 2001
From: Chris Jones <cmsj@waishou>
Date: Thu, 4 Sep 2008 01:26:49 +0100
Subject: [PATCH] improve field names, make a couple of things dropdowns

---
 terminatorlib/prefs_profile.py | 13 ++++++++++++-
 1 file changed, 12 insertions(+), 1 deletion(-)

diff --git a/terminatorlib/prefs_profile.py b/terminatorlib/prefs_profile.py
index 3387bc4e..6aa7775f 100644
--- a/terminatorlib/prefs_profile.py
+++ b/terminatorlib/prefs_profile.py
@@ -23,7 +23,7 @@ class ProfileEditor:
     row = 0
     for key in list:
       table.resize (row + 1, 2)
-      label = gtk.Label (key)
+      label = gtk.Label (key.replace ('_', ' ').capitalize ())
     
       type = Defaults[key].__class__.__name__
       value = Defaults[key]
@@ -42,6 +42,17 @@ class ProfileEditor:
         widget.set_increments(100, 1000)
         widget.set_range(0, 100000)
         widget.set_value(value)
+      elif key == 'scrollbar_position':
+        widget = gtk.combo_box_new_text()
+        widget.append_text ('left')
+        widget.append_text ('right')
+        widget.append_text ('disabled')
+        widget.set_active (0)
+      elif key == 'focus':
+        widget = gtk.combo_box_new_text()
+        widget.append_text ('click')
+        widget.append_text ('sloppy')
+        widget.set_active (0)
       else:
         if type == "bool":
           widget = gtk.CheckButton ()