** Package changed: mutter (Ubuntu) => gnome-shell (Ubuntu) -- 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
