Dimitrios, I think the latter: "x.dpi=gnome.dpi' . Or at least, the user should be able to configure GNOME to use the X Windows DPI at any time, without manually looking up what the X Windows DPI is and entering the same number into the GNOME configuration. A GNOME DPI setting should really be for emergency use only, not normal use. The window system, whether X or MS, should normally be the authorative source.
-- If DPI in X != DPI in Gnome, document dimensions are not true at 100% zoom https://bugs.launchpad.net/bugs/311614 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