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 Ubuntu
Desktop Bugs, which is subscribed to mutter in Ubuntu.
https://bugs.launchpad.net/bugs/1821365
Title:
font size of the Top Bar should be resizable
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-shell/+bug/1821365/+subscriptions
--
desktop-bugs mailing list
desktop-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
