Be more conservative firing view updates after no-op flush

codemirror · May 31, 2024 · 411d10b · 411d10b
1 parent 639fd4d
commit 411d10b
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/src/domobserver.ts b/src/domobserver.ts
@@ -379,8 +379,10 @@ export class DOMObserver {
     }
     let startState = this.view.state
     let handled = applyDOMChange(this.view, domChange)
-    // The view wasn't updated
-    if (this.view.state == startState) this.view.update([])
+    // The view wasn't updated but DOM/selection changes were seen. Reset the view.
+    if (this.view.state == startState &&
+        (domChange.bounds || domChange.newSel && !domChange.newSel.main.eq(this.view.state.selection.main)))
+      this.view.update([])
     return handled
   }