Is there any way to reset all settings/options to their defaults?
There is not an option for that to my knowledge.
Thank you for your reports btw! We have your issues in our bug tracker.
Looks like you can modify settings.json.
