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

Reply via email to