Use the Workbench options dialog box, shown in Figure 68, to customize your Workbench GUI and to set other preferences. Open this dialog box by selecting Tools->Options from the menu bar.

The following options are available in the options dialog box:

General options include the active Workbench “Theme”. See About Workbench themes.