From 0c8e69fb9d520b18ba43c521e1791a82b9a08bf3 Mon Sep 17 00:00:00 2001
From: Rob Garrison <wowmotty@gmail.com>
Date: Thu, 27 Dec 2018 07:53:37 -0600
Subject: [PATCH] Make beautify options persistent. Fixes #630

---
 edit/beautify.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/edit/beautify.js b/edit/beautify.js
index 80e0e457..5a6048a3 100644
--- a/edit/beautify.js
+++ b/edit/beautify.js
@@ -13,7 +13,7 @@ function beautify(scope) {
 
   function doBeautify() {
     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'])) {
       if (!(k in options)) options[k] = prefs.defaults['editor.beautify'][k];
     }