This is an old revision of the document!
CIGAL Reference Manual, Chapter 2 (Commands): font
usage: font fontname size flag ; select font by name
or: font fontnum [size windownum] ; select font by number
or: font ; select font interactively
or: font -8 defaultfont [alertfont]
or: font -9 fontheight [fontwidth]
See Also:
CIGAL Home,
CIGAL Manual,
Commands List,
Manual Help