From 6289c85bd5e9c2730445e01e2d86442bfaa32c77 Mon Sep 17 00:00:00 2001 From: Koen J Date: Fri, 14 Nov 2025 13:20:21 +0100 Subject: [PATCH] Devportal fix with settings. --- app/src/main/assets/devportal/index.html | 27 +++++++++++++----------- 1 file changed, 15 insertions(+), 12 deletions(-) diff --git a/app/src/main/assets/devportal/index.html b/app/src/main/assets/devportal/index.html index 47bf94c7..3ed980b4 100644 --- a/app/src/main/assets/devportal/index.html +++ b/app/src/main/assets/devportal/index.html @@ -1025,18 +1025,21 @@ let settingsToUse = __DEV_SETTINGS ?? {}; if (true) { - for (let setting of this.Plugin?.currentPlugin?.settings) { - if (typeof settingsToUse[setting.variable] == "undefined") { - switch (setting?.type?.toLowerCase()) { - case "boolean": - settingsToUse[setting.variable] = setting.default === 'true'; - break; - case "dropdown": - let dropDownIndex = parseInt(setting.default); - if (dropDownIndex) { - settingsToUse[setting.variable] = setting.options[dropDownIndex]; - } - break; + const settings = this.Plugin?.currentPlugin?.settings; + if (settings) { + for (let setting of settings) { + if (typeof settingsToUse[setting.variable] == "undefined") { + switch (setting?.type?.toLowerCase()) { + case "boolean": + settingsToUse[setting.variable] = setting.default === 'true'; + break; + case "dropdown": + let dropDownIndex = parseInt(setting.default); + if (dropDownIndex) { + settingsToUse[setting.variable] = setting.options[dropDownIndex]; + } + break; + } } } }