diff --git a/app/gui/src/project-view/components/CodeEditor.vue b/app/gui/src/project-view/components/CodeEditor.vue index 65c2286e980..6cd00bb2cad 100644 --- 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(() => {