Hi, with the current gnome-shell (3.2.1) and gnome-tweak-tool (3.2.2) in Debian, it is still unclear to me how to change the colour of the panel to something that matches either the current GTK theme or something less depressing. So far, advices have been to edit CSS files manually or downloading some files from somewhere. Am I (or is Debian) missing a software package maybe? Other ideas? TIA! _______________________________________________ gnome-list mailing list gnome-list@xxxxxxxxx http://mail.gnome.org/mailman/listinfo/gnome-list
