JAVAAWTFONT Data Type
Identifies a font.
4Test
defines this record data type as follows:
[-] type JavaAwtFont is record [ ] STRING Name [ ] INTEGER Style [ ] INTEGER Size
Parent topic:
Core Data Types