On 2011-06-15 14:45, W. Martin Borgert wrote: > OK, thanks. Changing themes in gnome-tweak-tool, I had the > impression did not change the panel colour, but maybe I'm > wrong. I will try it again. I see now, that there are two theme selections: "Interface/Gtk+ Theme" and "Shell/Shell theme". The latter says "User Theme extension not enabled" :~( _______________________________________________ gnome-list mailing list gnome-list@xxxxxxxxx http://mail.gnome.org/mailman/listinfo/gnome-list
