Run global events in an operation

Issue #5653
codemirror · Nov 20, 2018 · 5c51f54 · 5c51f54
1 parent 2754478
commit 5c51f54
Showing 1 changed file with 5 additions and 2 deletions.
diff --git a/src/edit/global_events.js b/src/edit/global_events.js
@@ -7,11 +7,14 @@ import { on } from "../util/event.js"
 
 function forEachCodeMirror(f) {
   if (!document.getElementsByClassName) return
-  let byClass = document.getElementsByClassName("CodeMirror")
+  let byClass = document.getElementsByClassName("CodeMirror"), editors = []
   for (let i = 0; i < byClass.length; i++) {
     let cm = byClass[i].CodeMirror
-    if (cm) f(cm)
+    if (cm) editors.push(cm)
   }
+  if (editors.length) editors[0].operation(() => {
+    for (let i = 0; i < editors.length; i++) f(editors[i])
+  })
 }
 
 let globalsRegistered = false