Syntax: setfont font_num font_specifier
This command can be used to set the fonts employed in the graphical interface. Although this can be given at a prompt, it is intended to be invoked in a startup script.
The first argument is an integer 1-6 (1-4 on Windows) which designates the font category. The index corresponds to the entries in the drop-down menu of font categories found in the Font Selection panel.
The rest of the line is a font description string. This varies between graphics types.
Example: Lucida Console 12
Example: (12)Lucida Console
The face_name is the name of a font family installed on the system, and the pixel_height is the on-screen size.
You will probably never need to use the setfont command directly. All settable fonts are saved in the .wrspiceinit startup file when the Update menu command in the File menu is given, or the update command is invoked.