Re: display-mm-width return value off on Windows

[Eli Zaretskii]

> Date: Mon, 21 Aug 2006 11:17:17 +0200
> From: Lennart Borgman <address@hidden>
> CC: Ralf Angeli <address@hidden>,  address@hidden, 
>  address@hidden
> 
> Is it not clear from this discussions that the only way to surely get 
> accurate sizes in this case is that the user specifies them?

Most users will not specify that.  In fact, I'm sure many don't even
know how to find out the values, or what parts of the display are
affected by this.

It's an obscure issue, so let's not try solving it hastily, which
would perhaps be appropriate if it affected many users in some grave
way.

In other words, waiting a bit for user reports to come in doesn't
sound like a bad thing to me.