improve loading of preferences

As suggested by Wolfgang in #335 (review)
eXist-db · Nov 13, 2021 · 5f4b11c · 5f4b11c
1 parent 49888db
commit 5f4b11c
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/preferences.js b/src/preferences.js
@@ -168,8 +168,8 @@ eXide.util.Preferences = (function () {
     Constr.prototype.read = function() {
         var sameVersion = false;
         if (localStorage["eXide.preferences"]) {
-            this.preferences = Object.assign(defaultPreferences, JSON.parse(localStorage.getItem("eXide.preferences")));
-            sameVersion = (this.preferences.version === eXide.app.version());
+            const loaded = JSON.parse(localStorage.getItem("eXide.preferences"));
+            this.preferences = Object.assign({}, defaultPreferences, loaded);
         }
 
         this.preferences.version = eXide.app.version();