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.
gnome-shellgnome-shell-extensionthemes
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.
Best Answer
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.