Make beautify options persistent. Fixes #630

This commit is contained in:
Rob Garrison 2018-12-27 07:53:37 -06:00
parent 3ea6e94e83
commit 0c8e69fb9d

View File

@ -13,7 +13,7 @@ function beautify(scope) {
function doBeautify() { function doBeautify() {
const tabs = prefs.get('editor.indentWithTabs'); const tabs = prefs.get('editor.indentWithTabs');
const options = prefs.get('editor.beautify'); const options = Object.assign({}, prefs.get('editor.beautify'));
for (const k of Object.keys(prefs.defaults['editor.beautify'])) { for (const k of Object.keys(prefs.defaults['editor.beautify'])) {
if (!(k in options)) options[k] = prefs.defaults['editor.beautify'][k]; if (!(k in options)) options[k] = prefs.defaults['editor.beautify'][k];
} }