From 9bb5aa828791fae8633d7968e9ee4173accdb0fb Mon Sep 17 00:00:00 2001
From: quenousimporte <quenousimporte@riseup.net>
Date: Mon, 25 Sep 2023 14:14:41 +0200
Subject: [PATCH] report type setting handler (commited in wrong branch)

---
 main.js | 20 +++++++++++++++++---
 1 file changed, 17 insertions(+), 3 deletions(-)

diff --git a/main.js b/main.js
index d721937..dd43cba 100644
--- a/main.js
+++ b/main.js
@@ -943,9 +943,23 @@ function editsetting(name)
 {
 	if (settings[name])
 	{
-		settings[name] = prompt(name, settings[name]);
-		savesettings();
-		loadsettings();
+		var value = settings[name];
+		var type = typeof value;
+		if (type != "undefined")
+		{
+			value = prompt(name, value);
+			if (type == "number")
+			{
+				value = parseInt(value);
+			}
+			else if (type == "boolean")
+			{
+				value = value === "true";
+			}
+			settings[name] = value;;
+			savesettings();
+			loadsettings();
+		}
 	}
 }