I just found these packages of gnome-shell-extensions-common and gnome- shell-extensions-user-theme, version 3.2.3. They solve the issue; after restarting the shell one is able to change themes again. So I imagine it's more a matter of having the right version of these packages available for Precise somewhere rather than hoping to get a fix.
Sadly the upstream on extensions.gnome.org supplies only a version compatible with the soon-to-be-released gnome-shell version 3.4, which will not reach Precise in any way but through backports. -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/946867 Title: gnome-shell themes not recognized by gnome-tweak-tool To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-tweak-tool/+bug/946867/+subscriptions -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
