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, -- Camaleón -- To UNSUBSCRIBE, email to debian-user-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/pan.2011.11.14.16.48...@gmail.com
