Nima Azarbayjany wrote:
I checked for gnome-themes. It was surely already installed but even reinstalling it did not help.
Is gnome-settings-daemon started?