On 2005-04-17 16:22:08 -0400, Eric Dorland wrote: > Ok, but what does this workaround do?
It forces the DPI to some value (instead of getting it from the system). Otherwise, I don't know what value is taken. Perhaps the one given in /etc/X11/xinit/xserverrc? It contains: exec /usr/bin/X11/X -dpi 100 -nolisten tcp > Is there any idea why this helps? No-one seems to know. I suggested that it could be due to a rounding error somewhere. Note that a rounding error would not necessarily be a problem; if this is the cause, then the problem is probably a lack of consistency leading to a missing line under some conditions. -- Vincent Lefèvre <[EMAIL PROTECTED]> - Web: <http://www.vinc17.org/> 100% accessible validated (X)HTML - Blog: <http://www.vinc17.org/blog/> Work: CR INRIA - computer arithmetic / SPACES project at LORIA -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
