MySQL Workbench

3.2 Workbench Preferences

Use the Preferences menu to configure MySQL Workbench to your specific needs. This menu is divided into the following sections:

A more detailed discussion of these options follows.