diff --git a/src/display/update_display.js b/src/display/update_display.js index affa2a759ade6a7f125db019d180966600fac0b4..e58db48a5102d29d44dcb9282fe79e55c04c0e91 100644 --- 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)