added: command to change a setting

main.js

@@ -260,6 +260,10 @@ var commands = [
 	hint: "Settings",
 	action: editsettings
 },
+{
+	hint: "Change a setting",
+	action: changesetting
+},
 {
 	hint: "Restore default settings",
 	action: restoresettings
@@ -935,6 +939,21 @@ function editsettings()
 	});
 }
 
+function changesetting()
+{
+	searchinlist(Object.keys(settings).map(name => name + ": " + settings[name]))
+	.then(setting =>
+	{
+		var name = setting.split(":").shift();
+		if (settings[name])
+		{
+			settings[name] = prompt(name, settings[name]);
+			savesettings();
+			loadsettings();
+		}
+	});
+}
+
 function decryptnote()
 {
 	decryptstring(md.value)