Font Options - touniez/comp402doc GitHub Wiki

Each font option is specified as a string containing the font name, style, and size, separated by dashes. The style should be in upper-case (ie. PLAIN, BOLD, ITALIC, or BOLDITALIC), while the font name must be a valid font on the system. (In most cases, using the font chooser in the Preferences window is the simplest approach.)

Main Font (font.main = Monospaced-PLAIN-12)
This font is used for the definitions pane and the tabs at the bottom of the window.

Line Numbers Font (font.doclist = Monospaced-PLAIN-12)
This font is used for the line numbers on the left side of the Definitions Pane, if the "Show All Line Numbers" option in the "Display Options" section is enabled. The actual font size will be limited by the size of the Main Font.

Document List Font (font.doclist = Monospaced-PLAIN-10)
This font is used in the list of all open documents on the left side of the window.

Toolbar Font (font.toolbar = dialog-PLAIN-10)
This font is used on the toolbar buttons, if the button names are configured to be displayed.