13.11.7.3 Restore Defaults

Resets all the options in the General panel to their default values.