Configuring User Preferences

To set your preferences for Workbench, from the menu bar, select Tools > Options.

The preferences you set here are local settings, affecting only you. Some changes made in the Options dialog take place immediately, while others take place after you restart Workbench.

For detailed descriptions of each preference dialog box, see Workbench User Preferences.