feat(codemirror): shift + click selection

Author: Autist1Coder

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