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 Desktop Bugs, which is a bug assignee. -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs