set settings values correctly - fix #53

espruino · Aug 18, 2023 · 8cf4d0f · 8cf4d0f
1 parent 45e2748
commit 8cf4d0f
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/js/index.js b/js/index.js
@@ -1152,6 +1152,7 @@ function settingsCheckbox(id, name) {
     setting.checked = SETTINGS[name];
   }
   SETTINGS_HOOKS[name] = update;
+  update(); // set initial value
   setting.addEventListener('click', function() {
     SETTINGS[name] = setting.checked;
     saveSettings();