From 51bb848104c1503c52301efbbc0209108f18cda3 Mon Sep 17 00:00:00 2001
From: Marijn Haverbeke <marijn@haverbeke.nl>
Date: Tue, 23 May 2017 11:30:04 +0200
Subject: [PATCH] Unset update.force before looping in postUpdateDisplay
Issue #4727
---
src/display/update_display.js | 1 +
1 file changed, 1 insertion(+)
diff --git a/src/display/update_display.js b/src/display/update_display.js
index affa2a759..e58db48a5 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)
--
GitLab