The setfont Command

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.

Unix/Linux
For GTK1 releases, the name is the X Logical Font Descriptor name for a font available on the user's system, or an alias. For GTK2 releases, the name is a Pango font description name. There is a very modest attempt to interpret a specification of the wrong type.

Windows The name is in one or the following formats:

New standard (WRspice release 2.3.58 and later)
face_name pixel_height

Example: Lucida Console 12

Old standard (deprecated)
(pixel_height)face_name

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 Tools menu command in the File menu is given, or the tbupdate command is invoked.