The whole situation could be compared to the bash->dash transition.
People were upset about it and complained, but the transition has been made.

Either we do the transition or we wait until 2050 when all displays
report nicely to xorg.

What has to be done imo is the following:

- Remove that debian/ubuntu-gnome-specific workaround -> The code from Gnome to 
handle wrong/missing DPIs will now actually work!
- Remove that single integer DPI box on 
gnome-appearance-properties->Fonts->Details... people abuse that setting

If people really have to manually correct their DPI now, the following is 
needed:
- Add 2 DPI boxes to gnome-display-properties, one for the horizontal, one for 
the vertical DPI. The boxes have to accept floating point values. (Or make a 
whole new widget ... see mockup)
- The DPI values shouldn't be stored in some Gnome-specific file, so that all 
toolkits can access it
- There should be a system-wide setting and an user-specific setting 
(PolicyKit).
- The settings should be display-specific, they could probably be stored as 
hal/udev rules so that the computer "remembers" if the user has manually 
corrected the DPI.

** Attachment added: "dpi-widget.png"
   http://launchpadlibrarian.net/20990277/dpi-widget.png

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