You can set the dpi of a gdm session in /etc/gdm.conf (eg, look for the setting of "command=" in the [server-Standard] section; just add "-dpi 110" or whatever).
If this is a bug it is a documentation bug at most. -- Gilbert Laycock email: [EMAIL PROTECTED] Maths and Computer Science, http://www.mcs.le.ac.uk/~glaycock University of Leicester phone: (+44) 116 252 3902 UK GPG: 7D025C00
pgpQhrDGXq1wH.pgp
Description: PGP signature
