feat(codemirror): shift + click selection (#1899)

1Code-JS · web-flow · commit 10ee05508f9d · 2026-02-25T15:25:16.000+05:30
diff --git a/src/lang/ar-ye.json b/src/lang/ar-ye.json
@@ -503,5 +503,6 @@
 	"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.",
-	"terminal_required_message_for_lsp": "Terminal not installed. Please install Terminal first to use LSP servers."
+	"terminal_required_message_for_lsp": "Terminal not installed. Please install Terminal first to use LSP servers.",
+	"shift click selection": "Shift + tap/click selection"
 }
diff --git a/src/lang/be-by.json b/src/lang/be-by.json
@@ -505,5 +505,6 @@
 	"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.",
-	"terminal_required_message_for_lsp": "Terminal not installed. Please install Terminal first to use LSP servers."
+	"terminal_required_message_for_lsp": "Terminal not installed. Please install Terminal first to use LSP servers.",
+	"shift click selection": "Shift + tap/click selection"
 }
diff --git a/src/lang/bn-bd.json b/src/lang/bn-bd.json
@@ -504,5 +504,6 @@
 	"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.",
-	"terminal_required_message_for_lsp": "Terminal not installed. Please install Terminal first to use LSP servers."
+	"terminal_required_message_for_lsp": "Terminal not installed. Please install Terminal first to use LSP servers.",
+	"shift click selection": "Shift + tap/click selection"
 }
diff --git a/src/lang/cs-cz.json b/src/lang/cs-cz.json
@@ -504,5 +504,6 @@
 	"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.",
-	"terminal_required_message_for_lsp": "Terminal not installed. Please install Terminal first to use LSP servers."
+	"terminal_required_message_for_lsp": "Terminal not installed. Please install Terminal first to use LSP servers.",
+	"shift click selection": "Shift + tap/click selection"
 }
diff --git a/src/lang/de-de.json b/src/lang/de-de.json
@@ -504,5 +504,6 @@
 	"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.",
-	"terminal_required_message_for_lsp": "Terminal not installed. Please install Terminal first to use LSP servers."
+	"terminal_required_message_for_lsp": "Terminal not installed. Please install Terminal first to use LSP servers.",
+	"shift click selection": "Shift + tap/click selection"
 }
diff --git a/src/lang/en-us.json b/src/lang/en-us.json
@@ -504,5 +504,6 @@
 	"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.",
-	"terminal_required_message_for_lsp": "Terminal not installed. Please install Terminal first to use LSP servers."
+	"terminal_required_message_for_lsp": "Terminal not installed. Please install Terminal first to use LSP servers.",
+	"shift click selection": "Shift + tap/click selection"
 }
diff --git a/src/lang/es-sv.json b/src/lang/es-sv.json
@@ -504,5 +504,6 @@
 	"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.",
-	"terminal_required_message_for_lsp": "Terminal not installed. Please install Terminal first to use LSP servers."
+	"terminal_required_message_for_lsp": "Terminal not installed. Please install Terminal first to use LSP servers.",
+	"shift click selection": "Shift + tap/click selection"
 }
diff --git a/src/lang/fr-fr.json b/src/lang/fr-fr.json
@@ -504,5 +504,6 @@
 	"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.",
-	"terminal_required_message_for_lsp": "Terminal not installed. Please install Terminal first to use LSP servers."
+	"terminal_required_message_for_lsp": "Terminal not installed. Please install Terminal first to use LSP servers.",
+	"shift click selection": "Shift + tap/click selection"
 }
diff --git a/src/lang/he-il.json b/src/lang/he-il.json
@@ -505,5 +505,6 @@
 	"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.",
-	"terminal_required_message_for_lsp": "Terminal not installed. Please install Terminal first to use LSP servers."
+	"terminal_required_message_for_lsp": "Terminal not installed. Please install Terminal first to use LSP servers.",
+	"shift click selection": "Shift + tap/click selection"
 }
diff --git a/src/lang/hi-in.json b/src/lang/hi-in.json
@@ -505,5 +505,6 @@
 	"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.",
-	"terminal_required_message_for_lsp": "Terminal not installed. Please install Terminal first to use LSP servers."
+	"terminal_required_message_for_lsp": "Terminal not installed. Please install Terminal first to use LSP servers.",
+	"shift click selection": "Shift + tap/click selection"
 }
diff --git a/src/lang/hu-hu.json b/src/lang/hu-hu.json
@@ -504,5 +504,6 @@
 	"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.",
-	"terminal_required_message_for_lsp": "Terminal not installed. Please install Terminal first to use LSP servers."
+	"terminal_required_message_for_lsp": "Terminal not installed. Please install Terminal first to use LSP servers.",
+	"shift click selection": "Shift + tap/click selection"
 }
diff --git a/src/lang/id-id.json b/src/lang/id-id.json
@@ -505,5 +505,6 @@
 	"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.",
-	"terminal_required_message_for_lsp": "Terminal not installed. Please install Terminal first to use LSP servers."
+	"terminal_required_message_for_lsp": "Terminal not installed. Please install Terminal first to use LSP servers.",
+	"shift click selection": "Shift + tap/click selection"
 }
diff --git a/src/lang/ir-fa.json b/src/lang/ir-fa.json
@@ -505,5 +505,6 @@
 	"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.",
-	"terminal_required_message_for_lsp": "Terminal not installed. Please install Terminal first to use LSP servers."
+	"terminal_required_message_for_lsp": "Terminal not installed. Please install Terminal first to use LSP servers.",
+	"shift click selection": "Shift + tap/click selection"
 }
diff --git a/src/lang/it-it.json b/src/lang/it-it.json
@@ -504,5 +504,6 @@
 	"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.",
-	"terminal_required_message_for_lsp": "Terminal not installed. Please install Terminal first to use LSP servers."
+	"terminal_required_message_for_lsp": "Terminal not installed. Please install Terminal first to use LSP servers.",
+	"shift click selection": "Shift + tap/click selection"
 }
diff --git a/src/lang/ja-jp.json b/src/lang/ja-jp.json
@@ -504,5 +504,6 @@
 	"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.",
-	"terminal_required_message_for_lsp": "Terminal not installed. Please install Terminal first to use LSP servers."
+	"terminal_required_message_for_lsp": "Terminal not installed. Please install Terminal first to use LSP servers.",
+	"shift click selection": "Shift + tap/click selection"
 }
diff --git a/src/lang/ko-kr.json b/src/lang/ko-kr.json
@@ -504,5 +504,6 @@
 	"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.",
-	"terminal_required_message_for_lsp": "Terminal not installed. Please install Terminal first to use LSP servers."
+	"terminal_required_message_for_lsp": "Terminal not installed. Please install Terminal first to use LSP servers.",
+	"shift click selection": "Shift + tap/click selection"
 }
diff --git a/src/lang/ml-in.json b/src/lang/ml-in.json
@@ -504,5 +504,6 @@
 	"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.",
-	"terminal_required_message_for_lsp": "Terminal not installed. Please install Terminal first to use LSP servers."
+	"terminal_required_message_for_lsp": "Terminal not installed. Please install Terminal first to use LSP servers.",
+	"shift click selection": "Shift + tap/click selection"
 }
diff --git a/src/lang/mm-unicode.json b/src/lang/mm-unicode.json
@@ -504,5 +504,6 @@
 	"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.",
-	"terminal_required_message_for_lsp": "Terminal not installed. Please install Terminal first to use LSP servers."
+	"terminal_required_message_for_lsp": "Terminal not installed. Please install Terminal first to use LSP servers.",
+	"shift click selection": "Shift + tap/click selection"
 }
diff --git a/src/lang/mm-zawgyi.json b/src/lang/mm-zawgyi.json
@@ -504,5 +504,6 @@
 	"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.",
-	"terminal_required_message_for_lsp": "Terminal not installed. Please install Terminal first to use LSP servers."
+	"terminal_required_message_for_lsp": "Terminal not installed. Please install Terminal first to use LSP servers.",
+	"shift click selection": "Shift + tap/click selection"
 }
diff --git a/src/lang/pl-pl.json b/src/lang/pl-pl.json
@@ -504,5 +504,6 @@
 	"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.",
-	"terminal_required_message_for_lsp": "Terminal not installed. Please install Terminal first to use LSP servers."
+	"terminal_required_message_for_lsp": "Terminal not installed. Please install Terminal first to use LSP servers.",
+	"shift click selection": "Shift + tap/click selection"
 }
diff --git a/src/lang/pt-br.json b/src/lang/pt-br.json
@@ -504,5 +504,6 @@
 	"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.",
-	"terminal_required_message_for_lsp": "Terminal not installed. Please install Terminal first to use LSP servers."
+	"terminal_required_message_for_lsp": "Terminal not installed. Please install Terminal first to use LSP servers.",
+	"shift click selection": "Shift + tap/click selection"
 }
diff --git a/src/lang/pu-in.json b/src/lang/pu-in.json
@@ -504,5 +504,6 @@
 	"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.",
-	"terminal_required_message_for_lsp": "Terminal not installed. Please install Terminal first to use LSP servers."
+	"terminal_required_message_for_lsp": "Terminal not installed. Please install Terminal first to use LSP servers.",
+	"shift click selection": "Shift + tap/click selection"
 }
diff --git a/src/lang/ru-ru.json b/src/lang/ru-ru.json
@@ -504,5 +504,6 @@
 	"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.",
-	"terminal_required_message_for_lsp": "Terminal not installed. Please install Terminal first to use LSP servers."
+	"terminal_required_message_for_lsp": "Terminal not installed. Please install Terminal first to use LSP servers.",
+	"shift click selection": "Shift + tap/click selection"
 }
diff --git a/src/lang/tl-ph.json b/src/lang/tl-ph.json
@@ -504,5 +504,6 @@
 	"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.",
-	"terminal_required_message_for_lsp": "Terminal not installed. Please install Terminal first to use LSP servers."
+	"terminal_required_message_for_lsp": "Terminal not installed. Please install Terminal first to use LSP servers.",
+	"shift click selection": "Shift + tap/click selection"
 }
diff --git a/src/lang/tr-tr.json b/src/lang/tr-tr.json
@@ -504,5 +504,6 @@
 	"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.",
-	"terminal_required_message_for_lsp": "Terminal not installed. Please install Terminal first to use LSP servers."
+	"terminal_required_message_for_lsp": "Terminal not installed. Please install Terminal first to use LSP servers.",
+	"shift click selection": "Shift + tap/click selection"
 }
diff --git a/src/lang/uk-ua.json b/src/lang/uk-ua.json
@@ -504,5 +504,6 @@
 	"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.",
-	"terminal_required_message_for_lsp": "Terminal not installed. Please install Terminal first to use LSP servers."
+	"terminal_required_message_for_lsp": "Terminal not installed. Please install Terminal first to use LSP servers.",
+	"shift click selection": "Shift + tap/click selection"
 }
diff --git a/src/lang/uz-uz.json b/src/lang/uz-uz.json
@@ -504,5 +504,6 @@
 	"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.",
-	"terminal_required_message_for_lsp": "Terminal not installed. Please install Terminal first to use LSP servers."
+	"terminal_required_message_for_lsp": "Terminal not installed. Please install Terminal first to use LSP servers.",
+	"shift click selection": "Shift + tap/click selection"
 }
diff --git a/src/lang/vi-vn.json b/src/lang/vi-vn.json
@@ -505,5 +505,6 @@
 	"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.",
-	"terminal_required_message_for_lsp": "Terminal not installed. Please install Terminal first to use LSP servers."
+	"terminal_required_message_for_lsp": "Terminal not installed. Please install Terminal first to use LSP servers.",
+	"shift click selection": "Shift + tap/click selection"
 }
diff --git a/src/lang/zh-cn.json b/src/lang/zh-cn.json
@@ -504,5 +504,6 @@
 	"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.",
-	"terminal_required_message_for_lsp": "Terminal not installed. Please install Terminal first to use LSP servers."
+	"terminal_required_message_for_lsp": "Terminal not installed. Please install Terminal first to use LSP servers.",
+	"shift click selection": "Shift + tap/click selection"
 }
diff --git a/src/lang/zh-hant.json b/src/lang/zh-hant.json
@@ -504,5 +504,6 @@
 	"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.",
-	"terminal_required_message_for_lsp": "Terminal not installed. Please install Terminal first to use LSP servers."
+	"terminal_required_message_for_lsp": "Terminal not installed. Please install Terminal first to use LSP servers.",
+	"shift click selection": "Shift + tap/click selection"
 }
diff --git a/src/lang/zh-tw.json b/src/lang/zh-tw.json
@@ -504,5 +504,6 @@
 	"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.",
-	"terminal_required_message_for_lsp": "Terminal not installed. Please install Terminal first to use LSP servers."
+	"terminal_required_message_for_lsp": "Terminal not installed. Please install Terminal first to use LSP servers.",
+	"shift click selection": "Shift + tap/click selection"
 }
diff --git a/src/lib/editorManager.js b/src/lib/editorManager.js
@@ -1,7 +1,13 @@
 import sidebarApps from "sidebarApps";
 import { indentUnit } from "@codemirror/language";
 import { search } from "@codemirror/search";
-import { Compartment, EditorState, Prec, StateEffect } from "@codemirror/state";
+import {
+	Compartment,
+	EditorSelection,
+	EditorState,
+	Prec,
+	StateEffect,
+} from "@codemirror/state";
 import { oneDark } from "@codemirror/theme-one-dark";
 import {
 	EditorView,
@@ -172,6 +178,37 @@ async function EditorManager($header, $body) {
 		},
 	);
 
+	let shiftClickSelectionExtension;
+	{
+		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;
+				const tid = setTimeout(() => pointerIdMap.delete(pointerId), 1001);
+				pointerIdMap.set(pointerId, [view.state.selection.main.anchor, tid]);
+			},
+			click(event, view) {
+				const { pointerId } = event;
+				if (!pointerIdMap.has(pointerId)) return false;
+				const [anchor, tid] = pointerIdMap.get(pointerId);
+				clearTimeout(tid);
+				pointerIdMap.delete(pointerId);
+				view.dispatch({
+					selection: EditorSelection.range(
+						anchor,
+						view.state.selection.main.anchor,
+					),
+					userEvent: "select.extend",
+				});
+				event.preventDefault();
+				return true;
+			},
+		});
+	}
+
 	const touchSelectionUpdateExtension = EditorView.updateListener.of(
 		(update) => {
 			if (!touchSelectionController) return;
@@ -725,6 +762,7 @@ async function EditorManager($header, $body) {
 			fixedHeightTheme,
 			scrollPastEnd(),
 			pointerCursorVisibilityExtension,
+			shiftClickSelectionExtension,
 			touchSelectionUpdateExtension,
 			search(),
 			// Ensure read-only can be toggled later via compartment
@@ -1088,6 +1126,7 @@ async function EditorManager($header, $body) {
 			fixedHeightTheme,
 			scrollPastEnd(),
 			pointerCursorVisibilityExtension,
+			shiftClickSelectionExtension,
 			touchSelectionUpdateExtension,
 			search(),
 			// Keep dynamic compartments across state swaps
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"],

Original file line number	Diff line number	Diff line change
`@@ -503,5 +503,6 @@`
`503`	`503`	`"add to home screen": "Add to home screen",`
`504`	`504`	`"pin shortcuts not supported": "Home screen shortcuts are not supported on this device.",`
`505`	`505`	`"save file before home shortcut": "Save the file before adding it to the home screen.",`
`506`		`- "terminal_required_message_for_lsp": "Terminal not installed. Please install Terminal first to use LSP servers."`
	`506`	`+ "terminal_required_message_for_lsp": "Terminal not installed. Please install Terminal first to use LSP servers.",`
	`507`	`+ "shift click selection": "Shift + tap/click selection"`
`507`	`508`	`}`
Original file line number	Diff line number	Diff line change
`@@ -505,5 +505,6 @@`
`505`	`505`	`"add to home screen": "Add to home screen",`
`506`	`506`	`"pin shortcuts not supported": "Home screen shortcuts are not supported on this device.",`
`507`	`507`	`"save file before home shortcut": "Save the file before adding it to the home screen.",`
`508`		`- "terminal_required_message_for_lsp": "Terminal not installed. Please install Terminal first to use LSP servers."`
	`508`	`+ "terminal_required_message_for_lsp": "Terminal not installed. Please install Terminal first to use LSP servers.",`
	`509`	`+ "shift click selection": "Shift + tap/click selection"`
`509`	`510`	`}`
Original file line number	Diff line number	Diff line change
`@@ -504,5 +504,6 @@`
`504`	`504`	`"add to home screen": "Add to home screen",`
`505`	`505`	`"pin shortcuts not supported": "Home screen shortcuts are not supported on this device.",`
`506`	`506`	`"save file before home shortcut": "Save the file before adding it to the home screen.",`
`507`		`- "terminal_required_message_for_lsp": "Terminal not installed. Please install Terminal first to use LSP servers."`
	`507`	`+ "terminal_required_message_for_lsp": "Terminal not installed. Please install Terminal first to use LSP servers.",`
	`508`	`+ "shift click selection": "Shift + tap/click selection"`
`508`	`509`	`}`