After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 664655 - Can not change the Shell Theme even though the user-theme extension is installed
Can not change the Shell Theme even though the user-theme extension is installed
Status: RESOLVED FIXED
Product: gnome-tweak-tool
Classification: Applications
Component: general
3.2.x
Other Linux
: Normal minor
: ---
Assigned To: GNOME Tweak Tool maintainer(s)
GNOME Tweak Tool maintainer(s)
Depends on:
Blocks:
 
 
Reported: 2011-11-23 17:46 UTC by Nuno Araujo (IRC: russo79)
Modified: 2011-11-23 19:22 UTC
See Also:
GNOME target: ---
GNOME version: ---

Attachments
Fix user-theme extension UUID (1.11 KB, patch)
2011-11-23 17:46 UTC, Nuno Araujo (IRC: russo79) 		committed Details | Review

Description Nuno Araujo (IRC: russo79) 2011-11-23 17:46:38 UTC 
Created attachment 202014 [details] [review]
Fix user-theme extension UUID

This happens since the UUID of the gnome-shell extensions has been changed (commit d76abc79c77953de1be4322d96c14e0b8cccf047).

Attached patch fix the problem (applies to 3.2.2).
Comment 1 John Stowers 2011-11-23 19:22:44 UTC 
Attachment 202014 [details] pushed as af33b09 - Fix user-theme extension UUID