Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Reset settings.json when GUI options are reset
Clear settings.json file and save settings.json.bak file when "Reset Options" GUI button is pressed or -resetguisettings command line option is used.
- Loading branch information