Removing typed config functions in Helper.

common/src/module/history.mjs

@@ -138,7 +138,7 @@ class HistoryAPI extends Module {
         if(action instanceof Action) {
             console.log("Added new entry to history: " + action.getReadableString())
             this.undoStack.push(action)
-            if(this.#helper.getSettingBool("reset_redo_stack"))
+            if(this.#helper.getSetting("reset_redo_stack"))
                 this.redoStack = []
             this.emit(new AddedEvent(action))
         }

common/src/module/interface.mjs

@@ -109,37 +109,13 @@ export class HelperInterface extends Interface {
     /**
      * Gets a setting from the config
      * @param {string} settingName - Setting (and its dot-separated namespace) to get (e.g. "default_graph.xmin")
-     * @returns {boolean} Value of the setting
-     */
-    getSettingBool = FUNCTION
-    /**
-     * Gets a setting from the config
-     * @param {string} settingName - Setting (and its dot-separated namespace) to get (e.g. "default_graph.xmin")
-     * @returns {number} Value of the setting
-     */
-    getSettingInt = FUNCTION
-    /**
-     * Gets a setting from the config
-     * @param {string} settingName - Setting (and its dot-separated namespace) to get (e.g. "default_graph.xmin")
-     * @returns {string} Value of the setting
+     * @returns {string|number|boolean} Value of the setting
      */
     getSetting = FUNCTION
     /**
      * Sets a setting in the config
      * @param {string} settingName - Setting (and its dot-separated namespace) to set (e.g. "default_graph.xmin")
-     * @param {boolean} value
-     */
-    setSettingBool = FUNCTION
-    /**
-     * Sets a setting in the config
-     * @param {string} settingName - Setting (and its dot-separated namespace) to set (e.g. "default_graph.xmin")
-     * @param {number} value
-     */
-    setSettingInt = FUNCTION
-    /**
-     * Sets a setting in the config
-     * @param {string} settingName - Setting (and its dot-separated namespace) to set (e.g. "default_graph.xmin")
-     * @param {string} value
+     * @param {string|number|boolean} value
      */
     setSetting = FUNCTION
     /**

common/src/module/latex.mjs

@@ -81,7 +81,7 @@ class LatexAPI extends Module {
     initialize({ latex, helper }) {
         super.initialize({ latex, helper })
         this.#latex = latex
-        this.enabled = helper.getSettingBool("enable_latex")
+        this.enabled = helper.getSetting("enable_latex")
     }
 
     /**

common/src/module/settings.mjs

@@ -81,21 +81,9 @@ class SettingsAPI extends Module {
     initialize({ helper }) {
         super.initialize({ helper })
         // Initialize default values.
-        for(const key of this.#properties.keys()) {
-            if(!this.#nonConfigurable.includes(key)) {
-                switch(typeof this.#properties.get(key)) {
-                    case "boolean":
-                        this.set(key, helper.getSettingBool("default_graph."+key), false)
-                        break
-                    case "number":
-                        this.set(key, helper.getSettingInt("default_graph."+key), false)
-                        break
-                    case "string":
-                        this.set(key, helper.getSetting("default_graph."+key), false)
-                        break
-                }
-            }
-        }
+        for(const key of this.#properties.keys())
+            if(!this.#nonConfigurable.includes(key))
+                this.set(key, helper.getSetting("default_graph."+key), false)
     }
     
     /**

common/src/preferences/common.mjs

@@ -53,11 +53,11 @@ export class BoolSetting extends Setting {
     }
 
     value() {
-        return Helper.getSettingBool(this.nameInConfig)
+        return Helper.getSetting(this.nameInConfig)
     }
 
     set(value) {
-        Helper.setSettingBool(this.nameInConfig, value)
+        Helper.setSetting(this.nameInConfig, value === true)
     }
 }
 
@@ -69,11 +69,11 @@ export class NumberSetting extends Setting {
     }
 
     value() {
-        return Helper.getSettingInt(this.nameInConfig)
+        return Helper.getSetting(this.nameInConfig)
     }
 
     set(value) {
-        Helper.setSettingInt(this.nameInConfig, value)
+        Helper.setSetting(this.nameInConfig, +value)
     }
 }
 
@@ -84,11 +84,11 @@ export class EnumIntSetting extends Setting {
     }
 
     value() {
-        return Helper.getSettingInt(this.nameInConfig)
+        return Helper.getSetting(this.nameInConfig)
     }
 
     set(value) {
-        Helper.setSettingInt(this.nameInConfig, value)
+        Helper.setSetting(this.nameInConfig, +value)
     }
 }
 
@@ -131,6 +131,6 @@ export class StringSetting extends Setting {
     }
 
     set(value) {
-        Helper.setSetting(this.nameInConfig, value)
+        Helper.setSetting(this.nameInConfig, ""+value)
     }
 }

common/src/preferences/default.mjs

@@ -37,7 +37,7 @@ const XMIN = new NumberSetting(
     qsTranslate("Settings", "Min X"),
     "default_graph.xmin",
     "xmin",
-    () => Helper.getSettingBool("default_graph.logscalex") ? 1e-100 : -Infinity
+    () => Helper.getSetting("default_graph.logscalex") ? 1e-100 : -Infinity
 )
 
 const YMAX = new NumberSetting(