From 8930b7cbbdfadb5de6fff6c1dbcdeff74e34caf0 Mon Sep 17 00:00:00 2001
From: quenousimporte <quenousimporte@riseup.net>
Date: Sun, 24 Sep 2023 15:19:39 +0200
Subject: [PATCH] fix: change setting with type

---
 main.js | 18 ++++++++----------
 1 file changed, 8 insertions(+), 10 deletions(-)

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