There are some rounding errors in the font size display in r11664. Open the attached example file. 18.2pt is 22.75 px in the XML editor, but 18.19999999 (plus or minus a few 9's) in the display.
The fix would be for the bit of code that is displaying the point size, wherever that is, to do this:
font_size = round (1000.0 * font_size)/1000.0;
Or 10000. It loses a bit of precision, but are there any applications that need 1/10000th of a px font size precision?
In any case 18.199999999 -> 18.200 and would then display as 18.2.
There are some rounding errors in the font size display in r11664. Open the attached example file. 18.2pt is 22.75 px in the XML editor, but 18.19999999 (plus or minus a few 9's) in the display.
The fix would be for the bit of code that is displaying the point size, wherever that is, to do this:
font_size = round (1000.0 * font_size)/1000.0;
Or 10000. It loses a bit of precision, but are there any applications that need 1/10000th of a px font size precision?
In any case 18.199999999 -> 18.200 and would then display as 18.2.