[email protected] ("John D. Baker") writes: >> Different display resolution?
>Seems strange that it could depend on that.
xdm does some guesswork on font metrics.
We are only talking about the damaged borders caused by the input
being placed a bit too low.
--
--
Michael van Elst
Internet: [email protected]
"A potential Snark may lurk in every tree."
