Public bug reported:
The font size of the Top Bar should be resizable. On a hiDPI screen
3200x2000, if you don't want to use scaling, then you can choose bigger
font sizes for everything in Gnome, except for the Font Bar. Or at
least document a setting how to do that via the command line.
** Affects: gnome-shell (Ubuntu)
Importance: Undecided
Status: New
--
You received this bug notification because you are a member of Desktop
Packages, which is subscribed to mutter in Ubuntu.
https://bugs.launchpad.net/bugs/1821365
Title:
font size of the Top Bar should be resizable
Status in gnome-shell package in Ubuntu:
New
Bug description:
The font size of the Top Bar should be resizable. On a hiDPI screen
3200x2000, if you don't want to use scaling, then you can choose
bigger font sizes for everything in Gnome, except for the Font Bar.
Or at least document a setting how to do that via the command line.
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-shell/+bug/1821365/+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
