In Gnome Tweak Tool, I'm unable to change the Shell theme:
Hovering over the exclamation mark shows the following tool-tip: Shell user-theme extension not enabled
. I'm using Ubuntu 14.10, and have installed gnome-shell-extensions.
In Gnome Tweak Tool, I'm unable to change the Shell theme:
Hovering over the exclamation mark shows the following tool-tip: Shell user-theme extension not enabled
. I'm using Ubuntu 14.10, and have installed gnome-shell-extensions.
I solved this problem myself, and it was an extremely trivial solution:
Gnome Tweak Tool
.Extensions
menu item, and move theUser themes
slider toOn
.Gnome Tweak Tool
and open it again.Shell theme
in theAppearance
menu.In addition to
@miceagol's
answer: If you do not seeUser Themes
in theExtensions
panel of GNOME Tweak Tool, you may need to install it from extensions.gnome.org. Restart the tweak tool after installing.You can set a theme using Terminal :
use a known working default theme like above and it should get you back but this below may be your real nightmare are thems that won't work.Installing themes that don't work LEAVE behind entries and if you click on a failed entry you will break the tweak tool.
Uninstalling a themes not that easy though..No idea how to remove a bad theme from the list in tweak tool.