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.
maxadamo, I have two workarounds. desktop> interface.
1. You could install dconf-tools. Then run dconf-editor and edit org>gnome>
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.