Control: tag -1 + moreinfo Hi Paul,
Paul Menzel wrote (08 Sep 2012 15:07:48 GMT) : > switching a user having used GNOME Classic until now to GNOME 3 (GNOME > Shell) the window decorations were different from the ones newly set up > users had. I remembered that I had set the theme to Clearlooks a long > time ago as a hack to fix some bug I think. Looking how to change the > theme, I did not find a way with the GNOME preferences > (Systemeinstellungen). Going ahead I installed `gnome-tweak-tool` and > there under Themes the box of item Window decorations was empty. > Choosing the default entry Adwaita the look was indentical to the other > users. > So GNOME Shell should warn if some theme is not available and instruct > the user on how to change the theme (install `gnome-tweak-tool`). I agree in principle. But since then, we've released Wheezy and then Jessie, so my understanding is that the lack of a nice configuration migration process is now obsolete. If you agree, let's close this bug. What do you think? Cheers, -- intrigeri