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.