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
Desktop Bugs, which is subscribed to gnome-session in 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

-- 
desktop-bugs mailing list
desktop-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs

Reply via email to