Allow for multiple selection in editor

dodona-edu · Jun 25, 2024 · f68419e · f68419e
1 parent b2cf579
commit f68419e
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/app/assets/javascripts/editor.ts b/app/assets/javascripts/editor.ts
@@ -22,7 +22,7 @@ import {
     lineNumbers
 } from "@codemirror/view";
 import { tags } from "@lezer/highlight";
-import { Extension } from "@codemirror/state";
+import { EditorState, Extension } from "@codemirror/state";
 
 declare type EditorEventHandler = (event: FocusEvent, view: EditorView) => boolean | void;
 const tabCompletionKeyMap = [{ key: "Tab", run: acceptCompletion }];
@@ -127,6 +127,7 @@ const editorSetup = (() => [
     bracketMatching(),
     closeBrackets(),
     highlightActiveLine(),
+    EditorState.allowMultipleSelections.of(true),
     keymap.of([
         ...closeBracketsKeymap,
         ...defaultKeymap,