Preferences

The Toolbox's main file menu contains a Preferences item.  Clicking on it raises a dialog for setting various Toolbox preferences.  The dialog presents the following high-level choices. 

Automatic Update

See the help page for that preference menu.

General

The following items under this heading allow you to customize the Module Editor:

TLA+ Preferences

See the help page for that preference menu.  Clicking on the + next to the item reveals the following subpages.  Click on the appropriate item in the following list to see what options these preference pages provide you with.


↑ Getting Started