Blur the editor when destroyed

To work around https://issues.chromium.org/issues/335542791
codemirror · Jun 10, 2024 · bcd41c5 · bcd41c5
1 parent 902a6e4
commit bcd41c5
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/editorview.ts b/src/editorview.ts
@@ -850,6 +850,7 @@ export class EditorView {
   /// plugins. The view instance can no longer be used after
   /// calling this.
   destroy() {
+    if (this.root.activeElement == this.contentDOM) this.contentDOM.blur()
     for (let plugin of this.plugins) plugin.destroy(this)
     this.plugins = []
     this.inputState.destroy()