maxadamo, I have two workarounds. 1. You could install dconf-tools. Then run dconf-editor and edit org>gnome>desktop>interface. 2. Or if you prefer a GUI interface to change the desktop theme, just install gnome-tweak-tool which is available in the gnome3 ppa you are already using.
Erick, yes, the gnome-themes package in the ppa has a broken dependency. -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/734563 Title: [gnome3] Upgrading to Gnome3 PPA breaks Ubuntu theme defaults -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
