Hello, In 3.18 I cannot change the style of the top bar anymore. Previously I used to change:
/usr/share/gnome-shell/theme/gnome-shell.css Any hints? Thank you, Donato
_______________________________________________ gnome-shell-list mailing list gnome-shell-list@gnome.org https://mail.gnome.org/mailman/listinfo/gnome-shell-list
