Hi all,
if calling gnome-tweak-tool and switching the the Shell submenu, that
menu is partially invisible :-( There is a remark concerning the Shell
theme, starting with "User Theme extension not ena". I think it should
be "... enabled".
Question: Is there a tool for installing such Shell themes, or how to
enable the theme feature for gnome-shell?
Kind regards
--
Joachim Backes <joachim.backes(a)rhrk.uni-kl.de>
http://www.rhrk.uni-kl.de/~backes