company logo

size_is_pixel - Pixel size property

When the property is set to true, pixel size is used instead of point size, which is used in case the property has been set to false. Pixel size makes the font device dependent.

Options.GUIFramework.Fonts._std_font.is_pixel=NO

Type: logical