*** This bug is a duplicate of bug 1717453 ***
https://bugs.launchpad.net/bugs/1717453
Thank you for taking the time to report this bug and helping to make
Ubuntu better. This particular bug has already been reported and is a
duplicate of bug 1717453, so it is being marked as such. Please look at
the other bug report to see if there is any missing information that you
can provide, or to see if there is a workaround for the bug.
Additionally, any further discussion regarding the bug should occur in
the other report. Feel free to continue to report any other bugs you may
find.
** This bug has been marked a duplicate of bug 1717453
Shell menus (panel, dock, window) font size does not match configured
interface font size
--
You received this bug notification because you are a member of Desktop
Packages, which is subscribed to gnome-shell 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
