hackel, The exceedingly high DPI device is a head-mounted display, so
yes, while it's an extreme case, I'd probably really run it at a fake
DPI.  That said, the same glass could be used to make a very detailed
watch, but users would want to have full size characters, etc.

soc, Thanks for the extended research on this: I suspect that this bug
is a duplicate of bug #118745 (albeit a different facet, against a
different package), although with all tasks there either "Invalid" or
"Fix Released", it may make sense to use this bug for revisiting the
discussion.  There's probably some other bugs that also affect things
that would be exposed by undoing the existing workarounds though: some
widgets are defined in terms of pixels, rather than in terms of size,
which causes them to scale poorly for DPI adjustments, but I think it's
worth tracking them separately: if using the detected DPI on some
hardware doesn't result in the correct settings, the detection of that
hardware ought be fixed, rather than trying to pick a standard default
setting.

-- 
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