On Mon, 14 Nov 2011 15:06:57 +0100, DebianTR.WP wrote:
(...)
$ gsettings list-keys org.gnome.shell
command-history
development-tools
disabled-open-search-providers
enable-app-monitoring
enabled-extensions
favorite-apps
looking-glass-history
saved-im-presence
saved-session-presence
I think, there should be a key called disabled-extensions.
In fact there is... I have it in wheezy:
hpc03@stt300:~$ gsettings list-keys org.gnome.shell
command-history
development-tools
disabled-extensions<<-- here!
disabled-open-search-providers
enable-app-monitoring
favorite-apps
looking-glass-history
Being experimental maybe it's better that you submit a bug report for
this or wait for a package update :-?
Greetings,