From 2935034202e11009a99ef6bae1a3f978d8dfef54 Mon Sep 17 00:00:00 2001
From: quenousimporte <quenousimporte@riseup.net>
Date: Sat, 23 Sep 2023 23:00:39 +0200
Subject: [PATCH] added: command to change a setting

---
 main.js | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)

diff --git a/main.js b/main.js
index d736b6c..99279cd 100644
--- a/main.js
+++ b/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)