feat(app-settings): shift + click toggle

1Code-JS · 1Code-JS · commit df99b5d86e4d · 2026-02-25T10:29:48.000+02:00
diff --git a/src/lang/ar-ye.json b/src/lang/ar-ye.json
@@ -502,5 +502,6 @@
 	"shortcut request sent": "Shortcut request opened. Tap Add to finish.",
 	"add to home screen": "Add to home screen",
 	"pin shortcuts not supported": "Home screen shortcuts are not supported on this device.",
-	"save file before home shortcut": "Save the file before adding it to the home screen."
-}
+	"save file before home shortcut": "Save the file before adding it to the home screen.",
+	"shift click selection": "Shift + tap/click selection"
+}
diff --git a/src/lang/be-by.json b/src/lang/be-by.json
@@ -504,5 +504,6 @@
 	"shortcut request sent": "Shortcut request opened. Tap Add to finish.",
 	"add to home screen": "Add to home screen",
 	"pin shortcuts not supported": "Home screen shortcuts are not supported on this device.",
-	"save file before home shortcut": "Save the file before adding it to the home screen."
-}
+	"save file before home shortcut": "Save the file before adding it to the home screen.",
+	"shift click selection": "Shift + tap/click selection"
+}
diff --git a/src/lang/bn-bd.json b/src/lang/bn-bd.json
@@ -503,5 +503,6 @@
 	"shortcut request sent": "Shortcut request opened. Tap Add to finish.",
 	"add to home screen": "Add to home screen",
 	"pin shortcuts not supported": "Home screen shortcuts are not supported on this device.",
-	"save file before home shortcut": "Save the file before adding it to the home screen."
-}
+	"save file before home shortcut": "Save the file before adding it to the home screen.",
+	"shift click selection": "Shift + tap/click selection"
+}
diff --git a/src/lang/cs-cz.json b/src/lang/cs-cz.json
@@ -503,5 +503,6 @@
 	"shortcut request sent": "Shortcut request opened. Tap Add to finish.",
 	"add to home screen": "Add to home screen",
 	"pin shortcuts not supported": "Home screen shortcuts are not supported on this device.",
-	"save file before home shortcut": "Save the file before adding it to the home screen."
-}
+	"save file before home shortcut": "Save the file before adding it to the home screen.",
+	"shift click selection": "Shift + tap/click selection"
+}
diff --git a/src/lang/de-de.json b/src/lang/de-de.json
@@ -503,5 +503,6 @@
 	"shortcut request sent": "Shortcut request opened. Tap Add to finish.",
 	"add to home screen": "Add to home screen",
 	"pin shortcuts not supported": "Home screen shortcuts are not supported on this device.",
-	"save file before home shortcut": "Save the file before adding it to the home screen."
-}
+	"save file before home shortcut": "Save the file before adding it to the home screen.",
+	"shift click selection": "Shift + tap/click selection"
+}
diff --git a/src/lang/en-us.json b/src/lang/en-us.json
@@ -503,5 +503,6 @@
 	"shortcut request sent": "Shortcut request opened. Tap Add to finish.",
 	"add to home screen": "Add to home screen",
 	"pin shortcuts not supported": "Home screen shortcuts are not supported on this device.",
-	"save file before home shortcut": "Save the file before adding it to the home screen."
-}
+	"save file before home shortcut": "Save the file before adding it to the home screen.",
+	"shift click selection": "Shift + tap/click selection"
+}
diff --git a/src/lang/es-sv.json b/src/lang/es-sv.json
@@ -503,5 +503,6 @@
 	"shortcut request sent": "Shortcut request opened. Tap Add to finish.",
 	"add to home screen": "Add to home screen",
 	"pin shortcuts not supported": "Home screen shortcuts are not supported on this device.",
-	"save file before home shortcut": "Save the file before adding it to the home screen."
-}
+	"save file before home shortcut": "Save the file before adding it to the home screen.",
+	"shift click selection": "Shift + tap/click selection"
+}
diff --git a/src/lang/fr-fr.json b/src/lang/fr-fr.json
@@ -503,5 +503,6 @@
 	"shortcut request sent": "Shortcut request opened. Tap Add to finish.",
 	"add to home screen": "Add to home screen",
 	"pin shortcuts not supported": "Home screen shortcuts are not supported on this device.",
-	"save file before home shortcut": "Save the file before adding it to the home screen."
-}
+	"save file before home shortcut": "Save the file before adding it to the home screen.",
+	"shift click selection": "Shift + tap/click selection"
+}
diff --git a/src/lang/he-il.json b/src/lang/he-il.json
@@ -504,5 +504,6 @@
 	"shortcut request sent": "Shortcut request opened. Tap Add to finish.",
 	"add to home screen": "Add to home screen",
 	"pin shortcuts not supported": "Home screen shortcuts are not supported on this device.",
-	"save file before home shortcut": "Save the file before adding it to the home screen."
-}
+	"save file before home shortcut": "Save the file before adding it to the home screen.",
+	"shift click selection": "Shift + tap/click selection"
+}
diff --git a/src/lang/hi-in.json b/src/lang/hi-in.json
@@ -504,5 +504,6 @@
 	"shortcut request sent": "Shortcut request opened. Tap Add to finish.",
 	"add to home screen": "Add to home screen",
 	"pin shortcuts not supported": "Home screen shortcuts are not supported on this device.",
-	"save file before home shortcut": "Save the file before adding it to the home screen."
-}
+	"save file before home shortcut": "Save the file before adding it to the home screen.",
+	"shift click selection": "Shift + tap/click selection"
+}
diff --git a/src/lang/hu-hu.json b/src/lang/hu-hu.json
@@ -503,5 +503,6 @@
 	"shortcut request sent": "Parancsikon-kérelem megnyitva. A befejezéshez koppintson a hozzáadás gombra.",
 	"add to home screen": "Hozzáadás a kezdőképernyőhöz",
 	"pin shortcuts not supported": "Ez az eszköz nem támogatja a kezdőképernyő-parancsikonokat.",
-	"save file before home shortcut": "A kezdőképernyőhöz való hozzáadás előtt mentse el a fájlt."
-}
+	"save file before home shortcut": "A kezdőképernyőhöz való hozzáadás előtt mentse el a fájlt.",
+	"shift click selection": "Shift + tap/click selection"
+}
diff --git a/src/lang/id-id.json b/src/lang/id-id.json
@@ -504,5 +504,6 @@
 	"shortcut request sent": "Shortcut request opened. Tap Add to finish.",
 	"add to home screen": "Add to home screen",
 	"pin shortcuts not supported": "Home screen shortcuts are not supported on this device.",
-	"save file before home shortcut": "Save the file before adding it to the home screen."
-}
+	"save file before home shortcut": "Save the file before adding it to the home screen.",
+	"shift click selection": "Shift + tap/click selection"
+}
diff --git a/src/lang/ir-fa.json b/src/lang/ir-fa.json
@@ -504,5 +504,6 @@
 	"shortcut request sent": "Shortcut request opened. Tap Add to finish.",
 	"add to home screen": "Add to home screen",
 	"pin shortcuts not supported": "Home screen shortcuts are not supported on this device.",
-	"save file before home shortcut": "Save the file before adding it to the home screen."
-}
+	"save file before home shortcut": "Save the file before adding it to the home screen.",
+	"shift click selection": "Shift + tap/click selection"
+}
diff --git a/src/lang/it-it.json b/src/lang/it-it.json
@@ -503,5 +503,6 @@
 	"shortcut request sent": "Shortcut request opened. Tap Add to finish.",
 	"add to home screen": "Add to home screen",
 	"pin shortcuts not supported": "Home screen shortcuts are not supported on this device.",
-	"save file before home shortcut": "Save the file before adding it to the home screen."
-}
+	"save file before home shortcut": "Save the file before adding it to the home screen.",
+	"shift click selection": "Shift + tap/click selection"
+}
diff --git a/src/lang/ja-jp.json b/src/lang/ja-jp.json
@@ -503,5 +503,6 @@
 	"shortcut request sent": "Shortcut request opened. Tap Add to finish.",
 	"add to home screen": "Add to home screen",
 	"pin shortcuts not supported": "Home screen shortcuts are not supported on this device.",
-	"save file before home shortcut": "Save the file before adding it to the home screen."
-}
+	"save file before home shortcut": "Save the file before adding it to the home screen.",
+	"shift click selection": "Shift + tap/click selection"
+}
diff --git a/src/lang/ko-kr.json b/src/lang/ko-kr.json
@@ -503,5 +503,6 @@
 	"shortcut request sent": "Shortcut request opened. Tap Add to finish.",
 	"add to home screen": "Add to home screen",
 	"pin shortcuts not supported": "Home screen shortcuts are not supported on this device.",
-	"save file before home shortcut": "Save the file before adding it to the home screen."
-}
+	"save file before home shortcut": "Save the file before adding it to the home screen.",
+	"shift click selection": "Shift + tap/click selection"
+}
diff --git a/src/lang/ml-in.json b/src/lang/ml-in.json
@@ -503,5 +503,6 @@
 	"shortcut request sent": "Shortcut request opened. Tap Add to finish.",
 	"add to home screen": "Add to home screen",
 	"pin shortcuts not supported": "Home screen shortcuts are not supported on this device.",
-	"save file before home shortcut": "Save the file before adding it to the home screen."
-}
+	"save file before home shortcut": "Save the file before adding it to the home screen.",
+	"shift click selection": "Shift + tap/click selection"
+}
diff --git a/src/lang/mm-unicode.json b/src/lang/mm-unicode.json
@@ -503,5 +503,6 @@
 	"shortcut request sent": "Shortcut request opened. Tap Add to finish.",
 	"add to home screen": "Add to home screen",
 	"pin shortcuts not supported": "Home screen shortcuts are not supported on this device.",
-	"save file before home shortcut": "Save the file before adding it to the home screen."
-}
+	"save file before home shortcut": "Save the file before adding it to the home screen.",
+	"shift click selection": "Shift + tap/click selection"
+}
diff --git a/src/lang/mm-zawgyi.json b/src/lang/mm-zawgyi.json
@@ -503,5 +503,6 @@
 	"shortcut request sent": "Shortcut request opened. Tap Add to finish.",
 	"add to home screen": "Add to home screen",
 	"pin shortcuts not supported": "Home screen shortcuts are not supported on this device.",
-	"save file before home shortcut": "Save the file before adding it to the home screen."
-}
+	"save file before home shortcut": "Save the file before adding it to the home screen.",
+	"shift click selection": "Shift + tap/click selection"
+}
diff --git a/src/lang/pl-pl.json b/src/lang/pl-pl.json
@@ -503,5 +503,6 @@
 	"shortcut request sent": "Shortcut request opened. Tap Add to finish.",
 	"add to home screen": "Add to home screen",
 	"pin shortcuts not supported": "Home screen shortcuts are not supported on this device.",
-	"save file before home shortcut": "Save the file before adding it to the home screen."
-}
+	"save file before home shortcut": "Save the file before adding it to the home screen.",
+	"shift click selection": "Shift + tap/click selection"
+}
diff --git a/src/lang/pt-br.json b/src/lang/pt-br.json
@@ -503,5 +503,6 @@
 	"shortcut request sent": "Shortcut request opened. Tap Add to finish.",
 	"add to home screen": "Add to home screen",
 	"pin shortcuts not supported": "Home screen shortcuts are not supported on this device.",
-	"save file before home shortcut": "Save the file before adding it to the home screen."
-}
+	"save file before home shortcut": "Save the file before adding it to the home screen.",
+	"shift click selection": "Shift + tap/click selection"
+}
diff --git a/src/lang/pu-in.json b/src/lang/pu-in.json
@@ -503,5 +503,6 @@
 	"shortcut request sent": "Shortcut request opened. Tap Add to finish.",
 	"add to home screen": "Add to home screen",
 	"pin shortcuts not supported": "Home screen shortcuts are not supported on this device.",
-	"save file before home shortcut": "Save the file before adding it to the home screen."
-}
+	"save file before home shortcut": "Save the file before adding it to the home screen.",
+	"shift click selection": "Shift + tap/click selection"
+}
diff --git a/src/lang/ru-ru.json b/src/lang/ru-ru.json
@@ -503,5 +503,6 @@
 	"shortcut request sent": "Shortcut request opened. Tap Add to finish.",
 	"add to home screen": "Add to home screen",
 	"pin shortcuts not supported": "Home screen shortcuts are not supported on this device.",
-	"save file before home shortcut": "Save the file before adding it to the home screen."
-}
+	"save file before home shortcut": "Save the file before adding it to the home screen.",
+	"shift click selection": "Shift + tap/click selection"
+}
diff --git a/src/lang/tl-ph.json b/src/lang/tl-ph.json
@@ -503,5 +503,6 @@
 	"shortcut request sent": "Shortcut request opened. Tap Add to finish.",
 	"add to home screen": "Add to home screen",
 	"pin shortcuts not supported": "Home screen shortcuts are not supported on this device.",
-	"save file before home shortcut": "Save the file before adding it to the home screen."
-}
+	"save file before home shortcut": "Save the file before adding it to the home screen.",
+	"shift click selection": "Shift + tap/click selection"
+}
diff --git a/src/lang/tr-tr.json b/src/lang/tr-tr.json
@@ -503,5 +503,6 @@
 	"shortcut request sent": "Shortcut request opened. Tap Add to finish.",
 	"add to home screen": "Add to home screen",
 	"pin shortcuts not supported": "Home screen shortcuts are not supported on this device.",
-	"save file before home shortcut": "Save the file before adding it to the home screen."
-}
+	"save file before home shortcut": "Save the file before adding it to the home screen.",
+	"shift click selection": "Shift + tap/click selection"
+}
diff --git a/src/lang/uk-ua.json b/src/lang/uk-ua.json
@@ -503,5 +503,6 @@
 	"shortcut request sent": "Shortcut request opened. Tap Add to finish.",
 	"add to home screen": "Add to home screen",
 	"pin shortcuts not supported": "Home screen shortcuts are not supported on this device.",
-	"save file before home shortcut": "Save the file before adding it to the home screen."
-}
+	"save file before home shortcut": "Save the file before adding it to the home screen.",
+	"shift click selection": "Shift + tap/click selection"
+}
diff --git a/src/lang/uz-uz.json b/src/lang/uz-uz.json
@@ -503,5 +503,6 @@
 	"shortcut request sent": "Shortcut request opened. Tap Add to finish.",
 	"add to home screen": "Add to home screen",
 	"pin shortcuts not supported": "Home screen shortcuts are not supported on this device.",
-	"save file before home shortcut": "Save the file before adding it to the home screen."
-}
+	"save file before home shortcut": "Save the file before adding it to the home screen.",
+	"shift click selection": "Shift + tap/click selection"
+}
diff --git a/src/lang/vi-vn.json b/src/lang/vi-vn.json
@@ -504,5 +504,6 @@
 	"shortcut request sent": "Shortcut request opened. Tap Add to finish.",
 	"add to home screen": "Add to home screen",
 	"pin shortcuts not supported": "Home screen shortcuts are not supported on this device.",
-	"save file before home shortcut": "Save the file before adding it to the home screen."
-}
+	"save file before home shortcut": "Save the file before adding it to the home screen.",
+	"shift click selection": "Shift + tap/click selection"
+}
diff --git a/src/lang/zh-cn.json b/src/lang/zh-cn.json
@@ -503,5 +503,6 @@
 	"shortcut request sent": "Shortcut request opened. Tap Add to finish.",
 	"add to home screen": "Add to home screen",
 	"pin shortcuts not supported": "Home screen shortcuts are not supported on this device.",
-	"save file before home shortcut": "Save the file before adding it to the home screen."
-}
+	"save file before home shortcut": "Save the file before adding it to the home screen.",
+	"shift click selection": "Shift + tap/click selection"
+}
diff --git a/src/lang/zh-hant.json b/src/lang/zh-hant.json
@@ -503,5 +503,6 @@
 	"shortcut request sent": "Shortcut request opened. Tap Add to finish.",
 	"add to home screen": "Add to home screen",
 	"pin shortcuts not supported": "Home screen shortcuts are not supported on this device.",
-	"save file before home shortcut": "Save the file before adding it to the home screen."
-}
+	"save file before home shortcut": "Save the file before adding it to the home screen.",
+	"shift click selection": "Shift + tap/click selection"
+}
diff --git a/src/lang/zh-tw.json b/src/lang/zh-tw.json
@@ -503,5 +503,6 @@
 	"shortcut request sent": "Shortcut request opened. Tap Add to finish.",
 	"add to home screen": "Add to home screen",
 	"pin shortcuts not supported": "Home screen shortcuts are not supported on this device.",
-	"save file before home shortcut": "Save the file before adding it to the home screen."
-}
+	"save file before home shortcut": "Save the file before adding it to the home screen.",
+	"shift click selection": "Shift + tap/click selection"
+}
diff --git a/src/lib/editorManager.js b/src/lib/editorManager.js
@@ -183,6 +183,7 @@ async function EditorManager($header, $body) {
 		const pointerIdMap = new Map();
 		shiftClickSelectionExtension = EditorView.domEventHandlers({
 			pointerup(event, view) {
+				if (!appSettings.value.shiftClickSelection) return;
 				if (!(event.isTrusted && event.isPrimary)) return;
 				if (!event.shiftKey && quickTools.$footer.dataset.shift == null) return;
 				const { pointerId } = event;
diff --git a/src/lib/settings.js b/src/lib/settings.js
@@ -184,6 +184,7 @@ class Settings {
 				servers: {},
 			},
 			developerMode: false,
+			shiftClickSelection: false
 		};
 		this.value = structuredClone(this.#defaultSettings);
 	}
diff --git a/src/settings/editorSettings.js b/src/settings/editorSettings.js
@@ -32,6 +32,11 @@ export default function editorSettings() {
 				match: constants.FONT_SIZE,
 			},
 		},
+		{
+			key: "shiftClickSelection",
+			text: strings["shift click selection"],
+			checkbox: values.shiftClickSelection,
+		},
 		{
 			key: "softTab",
 			text: strings["soft tab"],
