Unset update.force before looping in postUpdateDisplay

Issue #4727

Unset update.force before looping in postUpdateDisplay
51bb8481 · Marijn Haverbeke · c3bf7122 · 51bb8481
Commit 51bb8481 authored 7 years ago by Marijn Haverbeke
--- a/src/display/update_display.js
+++ b/src/display/update_display.js
@@ -179,6 +179,7 @@ export function postUpdateDisplay(cm, update) {
    updateSelection(cm)
    updateScrollbars(cm, barMeasure)
    setDocumentHeight(cm, barMeasure)
+    update.force = false
  }

  update.signal(cm, "update", cm)