Preferences
This command allows you to indicate your preferences for using the Workbench.
There are a wide variety of preferences for configuring the appearance of the Workbench and its views, and for customizing the behavior of all tools that are installed in the Workbench.
There are two groups of preferences: General and Spin.
In the group of General preferences there are many general preference pages known in Eclipse.
In the group of Spin preferences there are six SpinRCP-specific preference pages:
Spin, Automata View, MSC Viewer, Promela Editor, Simulation, and Verification.
For more information please look at the Preference Pages help menu.