?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
(parent: c9d201c) | patch
Extensions/Gtk: Move manager to preferences dialog
commit42184975998d97cb57d547567a0dd3044fee4054
authorThomas Perl <m@thp.io>
Tue, 21 Feb 2012 12:50:33 +0000 (21 13:50 +0100)
committerThomas Perl <m@thp.io>
Tue, 21 Feb 2012 12:50:33 +0000 (21 13:50 +0100)
treecdcc6504e26ea59d9d707dcd97137c7df7971cf1tree | snapshot (tar.gz zip)
parentc9d201c41856daf5e58e092954cc3353662891facommit | diff
Extensions/Gtk: Move manager to preferences dialog

Move manager to preferences dialog.

Make the manager listen on config changes to enable
and disable extensions/containers on the fly.

Move the "enabled" flag into the container as an
attribute (+ add set_enabled() method for loading).
data/ui/desktop/gpodder.ui diff | blob | blame | history
data/ui/desktop/gpodderextensionmanager.ui [deleted file] blob | blame | history
data/ui/desktop/gpodderpreferences.ui diff | blob | blame | history
src/gpodder/extensions.py diff | blob | blame | history
src/gpodder/gtkui/desktop/extensions.py [deleted file] blob | blame | history
src/gpodder/gtkui/desktop/preferences.py diff | blob | blame | history
src/gpodder/gtkui/main.py diff | blob | blame | history
gPodder — simple, usable podcast consumption (mirror repository)