The menu sets MySQL Workbench defaults. Choosing the menu item opens the following dialog box:
The following list describes the dialog box tabs:
: The delete and undo history options
: Configuration for tools used by the Administrator functionality
: Configuration of the SQL Editor
: Default object names
:
: EER diagram settings
: Change colors and fonts used by various Workbench components
A more detailed discussion of these options follows.
