Hi,
I upgraded my Gnome Shell to 3.2 and installed the extensions from experimental
repo. However, there is a problem (of course it is not surprising :) )
When I try to enable extensions from tweak tool, it closes itself. Then I ran
it from terminal to see the problem. It gave an error:
GLib-GIO-ERROR **: Settings schema 'org.gnome.shell' does not contain a key
named 'disabled-extensions'
Trace/breakpoint trap
I believe that, somehow, I, if it is possible of course, need to add a key named
"disabled-extensions" to org.gnome.shell.
$ 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.
Thanks
Eren
--
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/4ec12081.8010...@gmail.com
