I'd be happy with just removing the workaround, and filing new bugs for anything that doesn't work ideally with the detected DPI, either an application making an incorrect assumption, or a detection failure. Changing the UI to accurately reflect separate horizontal and vertical resolutions is interesting, but I think ultimately separable from the whether the DPI values are honoured or ignored.
-- GNOME default DPI doesn't match X default DPI https://bugs.launchpad.net/bugs/157398 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
