Gtk UI: Searching in extensions list, keyboard interaction
commitb6706cc50948cb2b9b49b61287210dbc1d3af97b
authorThomas Perl <m@thp.io>
Tue, 5 Mar 2013 11:08:14 +0000 (5 12:08 +0100)
committerThomas Perl <m@thp.io>
Tue, 5 Mar 2013 11:08:14 +0000 (5 12:08 +0100)
treea513d8f19c8f7dfbf970af0dcbb83b2470e3f0e0
parent7de1a3e01dcf8f1194860487bc3a0d20bf66fa65
Gtk UI: Searching in extensions list, keyboard interaction

Allow search-as-you-type searching in the extensions list.

Use separate columns in extensions list to allow interaction
with keyboard (enable/disable and show extension infos).

Remove custom mouse button handling, which was confusing.
share/gpodder/ui/gtk/gpodderpreferences.ui
src/gpodder/gtkui/desktop/preferences.py