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 Bugs, which is subscribed to 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 -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
