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'
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
I think, there should be a key called disabled-extensions.