Posted Jun 4, 2004 22:08 UTC (Fri) by iabervon
In reply to: Font
Parent article: The Grumpy Editor's guide to terminal emulators
That's the pixel size, which is useful for internal purposes, since the program will position the text in pixels (like all of the graphics primitives). Point size is given by multiplying by the resx (or resy) and dividing by 100.
to post comments)