[Openchrome-users] DPI changed after upgrade to xorg-7.2

[Benno Schulenberg]

Upgrading from Xorg-7.1.1 to 7.2.0 had the unexpected result of 
changing the line spacing in several places on the desktop.
Diffing the logs from before and after the upgrade shows this:

-(**) VIA(0): Display dimensions: (320, 240) mm
-(**) VIA(0): DPI set to (81, 81)
+(**) VIA(0): Display dimensions: (310, 230) mm
+(**) VIA(0): DPI set to (83, 84)

Xorg seems to be confused here: the diplay domensions (310, 230) 
do not come from the config file, as the stars (**) seem to say, 
but were probed from the EDID block.

http://webcvs.freedesktop.org/xorg/xserver/xorg/hw/xfree86/common/xf86Helper.c
Looking at this file, it seems that pScrn->monitor->widthmm 
and pScrn->monitor->heightmm somehow get set to ddcWidthmm 
and ddcHeightmm, instead of to what the DisplaySize option in 
xorg.conf specifies.

Anyone an idea why this is going wrong now?

Benno