Hi gnome3 users, I'm running F20 with gnome3 (3.10.*) and I want to change the desktop fonts used by gnome3. Are there any tools to do this?
Thanks and kind regards Joachim Backes -- Fedora release 20 (Heisenbug) Kernel-3.14.4-200.fc20.x86_64 Joachim Backes <joachim.bac...@rhrk.uni-kl.de> https://www-user.rhrk.uni-kl.de/~backes/index.html -- users mailing list users@lists.fedoraproject.org To unsubscribe or change subscription options: https://admin.fedoraproject.org/mailman/listinfo/users Fedora Code of Conduct: http://fedoraproject.org/code-of-conduct Guidelines: http://fedoraproject.org/wiki/Mailing_list_guidelines Have a question? Ask away: http://ask.fedoraproject.org
