place the keybinding editor inside a gtk.ScrolledWindow for the pixel-poor

2008-12-26 23:26:04 +00:00 · 2008-12-26 23:26:04 +00:00 · eba60f3fcc
parent eb39ca548a
commit eba60f3fcc
1 changed files with 4 additions and 1 deletions
--- a/terminatorlib/prefs_profile.py
+++ b/terminatorlib/prefs_profile.py
@ -382,7 +382,10 @@ class ProfileEditor:

    self.treeview.append_column(col)

-    return (self.treeview)
+    scrollwin = gtk.ScrolledWindow ()
+    scrollwin.set_policy (gtk.POLICY_NEVER, gtk.POLICY_AUTOMATIC)
+    scrollwin.add (self.treeview)
+    return (scrollwin)

  def edited (self, obj, path, key, mods, code):
    iter = self.liststore.get_iter_from_string(path)