From dc5053edf3a139d3e24986533e811974106cbd7e Mon Sep 17 00:00:00 2001
From: quenousimporte <quenousimporte@riseup.net>
Date: Sat, 23 Sep 2023 23:09:09 +0200
Subject: [PATCH] fixed: handle bool and int params

---
 main.js | 17 +++++++++++++++--
 1 file changed, 15 insertions(+), 2 deletions(-)

diff --git a/main.js b/main.js
index 241aebd..f91fde9 100644
--- a/main.js
+++ b/main.js
@@ -946,9 +946,22 @@ function changesetting()
 	.then(setting =>
 	{
 		var name = setting.split(":").shift();
-		if (settings[name])
+		if (typeof settings[name] != "undefined")
 		{
-			settings[name] = prompt(name, settings[name]);
+			var value = prompt(name, settings[name]);
+			if (!isNaN(parseInt(value)))
+			{
+				value = parseInt(value)
+			}
+			else if (value === "false")
+			{
+				value = false;
+			}
+			else if (value == "true")
+			{
+				value = true;
+			}
+			settings[name] = value;
 			savesettings();
 			loadsettings();
 		}