Note to all readers: 1. A workaround to enable the (unfinished) feature is at the top of this bug in the Bug Description.
2. An alternative solution, which I've found works fine for many systems (lower than 3K resolution) is: gnome-tweaks > Fonts > Interface > choose your own font size(s) -- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to gnome-shell in Ubuntu. https://bugs.launchpad.net/bugs/1687246 Title: GNOME Shell should support fractional (non-integer) Hi-DPI scaling To manage notifications about this bug go to: https://bugs.launchpad.net/mutter/+bug/1687246/+subscriptions -- desktop-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
