The General tab enables you to set the following options:
Automatically reopen previous model at start: Check this if you want the model on which you previously worked to be automatically reopened when you start MySQL Workbench.
Force use of software based rendering for EER diagrams: MySQL Workbench will use OpenGL for rendering when available. However, due to faulty drivers, problems do occasionally occur. These issues can be resolved by selecting the software rendering option here.
Model undo history size: You can limit the size of the undo history here. Set this value to 0 to have an unlimited undo history.
Auto-save model interval: An open model that has not been saved will automatically be saved after this period. On loading a model file, MySQL Workbench will notify the user if the file was not previously saved correctly, due to a crash or power failure. MySQL Workbench can then attempt to recover the last auto-saved version. For automatic recovery to be available for a new file, it will have to have been saved at least once by the user.
Save snapshot of open editors on close: Enabling will save and reload the SQL Editor tabs after closing/opening MySQL Workbench (including after an unexpected crash).
Auto-save scripts interval: Frequency of the auto-saves.
Create new tabs as Query tabs instead of File: By default, opening a new SQL Editor tab opens as an SQL File tab. Check this option if you prefer the simpler Query tabs that, for example, will not prompt to be saved when closed.
Allow more than once instance of MySQL Workbench to run: Disabled by default.
Interactive GRT Shell Language: You can select the language to be used in the GRT (Generic RunTime) shell by choosing a language from the list Interactive GRT Shell Language. Currently, the choices are Lua and Python. Python is the recommended option.
Internal Workbench Schema:
The schema used by MySQL Workbench to store information required
on certain operations. Defaults to