Provide an EditorView.EDIT_CONTEXT switch that turns off use of EditC…

…ontext
codemirror · Apr 21, 2024 · d1d926f · d1d926f
1 parent 571426b
commit d1d926f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/domobserver.ts b/src/domobserver.ts
@@ -81,7 +81,7 @@ export class DOMObserver {
         this.flush()
     })
 
-    if (window.EditContext) {
+    if (window.EditContext && (view.constructor as any).EDIT_CONTEXT !== false) {
       this.editContext = new EditContextManager(view)
       view.contentDOM.editContext = this.editContext.editContext
     }