@ -947,6 +947,8 @@ function editsetting(name)
if (type != "undefined")
{
value = prompt(name, value);
if (value !== null)
if (type == "number")
value = parseInt(value);
@ -961,6 +963,7 @@ function editsetting(name)
}
function changesetting()