7.3 Workbench Preferences

7.3.1 The General Tab
7.3.2 The Administrator Tab
7.3.3 The SQL Editor Tab
7.3.4 The SQL Queries Tab
7.3.5 The Model Tab
7.3.6 The Model:MySQL Tab
7.3.7 The Diagram Tab
7.3.8 The Appearance Tab
7.3.9 The Theming Tab

MySQL Workbench preferences and default settings are set by the Preferences menu. This menu is divided sections, as described below:

A more detailed discussion of these options follows.