Merge pull request #5640 from dodona-edu/enhance/multiple-selection

Allow for multiple selection in editor
dodona-edu · Jun 25, 2024 · eb17964 · eb17964
2 parents b2cf579 + f68419e
commit eb17964
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,