diff options
| author | iovar <iovar@f606c939-3180-4ac9-a4b8-4b8779d57d0a> | 2007-02-14 12:02:36 +0000 |
|---|---|---|
| committer | iovar <iovar@f606c939-3180-4ac9-a4b8-4b8779d57d0a> | 2007-02-14 12:02:36 +0000 |
| commit | 6aef9cfcbe9f0f991200c6b189af1b87f44f3447 (patch) | |
| tree | 45e2ad2f43ab2aec93952058a068a8e2a0d741d3 /gtk-recordmydesktop/src/rmdPrefsWidget.py | |
| parent | 30471f8295b37a1a880e00140c9adbeeadb57b3a (diff) | |
made jack ports window scrollable
git-svn-id: https://recordmydesktop.svn.sourceforge.net/svnroot/recordmydesktop/trunk@281 f606c939-3180-4ac9-a4b8-4b8779d57d0a
Diffstat (limited to 'gtk-recordmydesktop/src/rmdPrefsWidget.py')
| -rw-r--r-- | gtk-recordmydesktop/src/rmdPrefsWidget.py | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/gtk-recordmydesktop/src/rmdPrefsWidget.py b/gtk-recordmydesktop/src/rmdPrefsWidget.py index 0e432d6..8dbdd14 100644 --- a/gtk-recordmydesktop/src/rmdPrefsWidget.py +++ b/gtk-recordmydesktop/src/rmdPrefsWidget.py @@ -215,18 +215,24 @@ class prefsWidget(object): self.jack_lsp_listview.set_search_column(0) self.jack_lsp_listview.set_reorderable(True) self.jack_lsp_listview.get_selection().set_mode(gtk.SELECTION_MULTIPLE) + self.jack_scroll=gtk.ScrolledWindow(hadjustment=None, vadjustment=None) + self.jack_scroll.add_with_viewport(self.jack_lsp_listview) self.jack_lsp_refresh=gtk.Button(None,gtk.STOCK_REFRESH) self.jack_box=gtk.VBox(homogeneous=False, spacing=10) self.jack_box.pack_start(self.jack_button,expand=False,fill=False) self.jack_box.pack_start(self.jack_lsp_label,expand=False,fill=False) - self.jack_box.pack_start(self.jack_lsp_listview,expand=False,fill=False) + self.jack_box.pack_start(self.jack_scroll,expand=False,fill=False) self.jack_box.pack_start(self.jack_lsp_refresh,expand=False,fill=False) + + self.jack_button.set_active(self.values[22]) self.jack_button.show() self.jack_lsp_label.show() self.jack_lsp_listview.show() + self.jack_scroll.set_size_request(-1,200) + self.jack_scroll.show() self.jack_lsp_refresh.show() self.jack_ebox=gtk.EventBox() |