Display settings

The Font menu option allows display fonts to be chosen.

Draw menus determine how text colours are used :

Draw Nought : nothing is displayed.

Draw Instances : each instance of a word is displayed in a different colour.

Draw Tokens : Instances of the same token have the same colour.

Draw Categories : Words of the same virtual category are displayed in the same colour.

Redraw forces the display to be redrawn after overlapping or other display glitches.

Layout forces layout to be recomputed.

Set line start allows the left margin to be placed in the current window.

Set line width allows line width to be set.

See layout bar