Upstream bug: https://bugzilla.gnome.org/show_bug.cgi?id=664655 Upstream git diff for fix: http://git.gnome.org/browse/gnome-tweak-tool/commit/?id=af33b09d1f21eb3698c4977a4345b6badbefccc2 As can be seen from the upstream bug report, gnome-tweak-tool fails to detect the "user-theme" extension, as extension UUIDs have changed since =gnome-extra/gnome-shell-extensions-3.2.2 (from gnome-shell-extensions.gnome.org to gnome-shell-extensions.gcampax.github.com). I will attach the upstream patch here, just in case anything happens to it. Reproducible: Always
Created attachment 296701 [details, diff] Fix-user-theme-extension-UUID.patch
Fixed, thanks for reporting! >*gnome-tweak-tool-3.2.2-r1 (26 Dec 2011) > > 26 Dec 2011; Alexandre Rostovtsev (tetromino) <tetromino@gmail.com> > +gnome-tweak-tool-3.2.2-r1.ebuild, > +files/gnome-tweak-tool-3.2.2-user-theme-ext-id.patch: > Update for new user theme extension ID in gnome-shell-extensions-3.2.2 (bug > #395733, thanks to Stefan Zwanenburg for reporting).