Disable EditContext API (#11554)

Fixes #11239 https://github.com/user-attachments/assets/eb57fb34-11f4-489b-9849-c93c7aa5e870
enso-org · Nov 19, 2024 · c52b8f9 · c52b8f9
1 parent 9a49a02
commit c52b8f9
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/app/gui/src/project-view/components/CodeEditor.vue b/app/gui/src/project-view/components/CodeEditor.vue
@@ -93,6 +93,8 @@ const expressionUpdatesDiagnostics = computed(() => {
 
 // == CodeMirror editor setup  ==
 
+// Disable EditContext API because of https://github.com/codemirror/dev/issues/1458.
+;(EditorView as any).EDIT_CONTEXT = false
 const editorView = new EditorView()
 const viewInitialized = ref(false)
 watchEffect(() => {