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 Desktop Bugs, which is a bug assignee. -- desktop-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
