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 Desktop
Packages, which is subscribed to gnome-session in Ubuntu.
https://bugs.launchpad.net/bugs/1764974

Title:
  Change default interface font size in Community theme

Status in gnome-session package in Ubuntu:
  New

Bug description:
  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

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-session/+bug/1764974/+subscriptions

-- 
Mailing list: https://launchpad.net/~desktop-packages
Post to     : [email protected]
Unsubscribe : https://launchpad.net/~desktop-packages
More help   : https://help.launchpad.net/ListHelp

Reply via email to