Is there a way to change the font in the gnome-3.16.x top panel? The gnome-tweak-tool doesn't have this option and all I want to do is change the font from bold to normal...
Regards John _______________________________________________ gnome-shell-list mailing list gnome-shell-list@gnome.org https://mail.gnome.org/mailman/listinfo/gnome-shell-list
