Public bug reported: Change default interface font size in Community theme from 11 to 10.
It won’t impact the default session only the communitheme. Change the key org.gnome.desktop.interface.font-name to ubuntu 10 See: https://community.ubuntu.com/t/snapping-communitheme/4890 https://github.com/ubuntu/gtk-communitheme/issues/30 ** Affects: gnome-session (Ubuntu) Importance: Undecided Status: New -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1764974 Title: Change default interface font size in Community theme To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-session/+bug/1764974/+subscriptions -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
