MySQL Workbench (GUI Tools)

In this Preferences can allowed values in history from 1 up and Auto-save model interval if Workbench unexpectedly quits.