optionnal preload editor

2 files changed, 15 insertions, 0 deletions

diff --git a/settings/settings.js b/settings/settings.js
index 550cde5..76f1924 100644
--- a/settings/settings.js
+++ b/settings/settings.js
@@ -134,6 +134,15 @@ $(document).ready(function () {
       UISettingsHelper.getInstance().set("start_page", "recent");
     UISettingsHelper.getInstance().postSettings()
   }
+
+  document.getElementById("preload_editor").onchange = function (value) {
+    if (value.target.checked)
+      UISettingsHelper.getInstance().set("should_preload_editor", true);
+    else
+      UISettingsHelper.getInstance().set("should_preload_editor", false);
+    UISettingsHelper.getInstance().postSettings()
+  }
+
   UISettingsHelper.getInstance().loadSettings(function (settings) {
     if (settings['start_page'] == "browser") {
       document.getElementById("browser_default_view").checked = true
@@ -143,6 +152,11 @@ $(document).ready(function () {
       document.getElementById("browser_default_view").parentNode.classList.remove("is-checked")
     }
 
+    if (settings['should_preload_editor']) {
+      document.getElementById("preload_editor").checked = true
+      document.getElementById("preload_editor").parentNode.classList.add("is-checked")
+    }
+
   })
   document.getElementById("import").onclick = function () {
     var url = "";
diff --git a/settings/ui_settings_helper.js b/settings/ui_settings_helper.js
index 74190e6..12050e5 100644
--- a/settings/ui_settings_helper.js
+++ b/settings/ui_settings_helper.js
@@ -47,6 +47,7 @@ class UISettingsHelper {
         this.setDefaultSetting('reversed', false)
         this.setDefaultSetting('start_page', 'recent')
         this.setDefaultSetting('in_line', false)
+        this.setDefaultSetting('should_preload_editor', true)
 
     }