Donal,
thank you for the message. May I add the Windows usage of the font size.
The EM-Height is given as an integer and the following formula may
calculate it from the fonts PointSize: PointSize * dpi/72 where dpi is
the resolution of the output device. If the output resolution is
superior to 72dpi, font size has sub-integer values. Also, an integer
PointSize may only be fully respected on device resolutions which have
72 as divisor.
As a side note, I would support to specify the font PointSize as a
double. The code I had sent to Kevin to implement printing did that to.
But printers have resolutions like 1200dpi, so many sub-ponitsizes may
be respected.
Take care,
Harald