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
