Merge branch 'main' into feat/colors

2023-09-27 09:09:29 +02:00 · 2023-09-27 09:09:29 +02:00 · efceae4f4c
parent b38befaa87 7fd3e70099
commit efceae4f4c
1 changed files with 12 additions and 9 deletions
--- a/main.js
+++ b/main.js
@ -964,6 +964,8 @@ function editsetting(name)
 		if (type != "undefined")
 		{
 			value = prompt(name, value);
+			if (value !== null)
+			{
 				if (type == "number")
 				{
 					value = parseInt(value);
@ -978,6 +980,7 @@ function editsetting(name)
 			}
 		}
 	}
+}

 function changesetting()
 {