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? --To UNSUBSCRIBE, email to debian-user-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org