font size of the Top Bar should be resizable
Bug #1821365 reported by
Matthias Klose
This bug report is a duplicate of:
Bug #1717453: Shell menus (panel, dock, window) font size does not match configured interface font size.
Edit
Remove
This bug affects 1 person
| Affects | Status | Importance | Assigned to | Milestone | |
|---|---|---|---|---|---|
| gnome-shell (Ubuntu) |
New
|
Undecided
|
Unassigned | ||
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.
| affects: | mutter (Ubuntu) → gnome-shell (Ubuntu) |
Revision history for this message
| Daniel van Vugt (vanvugt) wrote | #1 |
To post a comment you must log in.
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.