Arch Linux

Please read this before reporting a bug:
https://wiki.archlinux.org/title/Bug_reporting_guidelines

Do NOT report bugs when a package is just outdated, or it is in the AUR. Use the 'flag out of date' link on the package page, or the Mailing List.

REPEAT: Do NOT report bugs for outdated packages!
Tasklist

FS#29426 - gnome-shell-extension-user-theme doesn't work.

Attached to Project: Arch Linux
Opened by trusktr (trusktr) - Friday, 13 April 2012, 11:26 GMT
Last edited by Evangelos Foutras (foutrelis) - Friday, 13 April 2012, 20:20 GMT
Task Type Bug Report
Category Packages: Extra
Status Closed
Assigned To No-one
Architecture All
Severity Low
Priority Normal
Reported Version
Due in Version Undecided
Due Date Undecided
Percent Complete 100%
Votes 0
Private No

Details

I've installed gnome-shell-extension-user-theme but gnome-tweak-tool doesn't see the extension.
This task depends upon

Closed by  Evangelos Foutras (foutrelis)
Friday, 13 April 2012, 20:20 GMT
Reason for closing:  Not a bug
Comment by trusktr (trusktr) - Friday, 13 April 2012, 20:09 GMT
Wait, nevermind. All I had to do was restart and gnome-tweak-tool saw the extension. However, the extension doesn't seem to work... I'll try restarting *first* then file if I have to.

Loading...