From 96f3d2cafa86f8f781fecdcd27fb57e514e075bf Mon Sep 17 00:00:00 2001
From: Marijn Haverbeke <marijnh@gmail.com>
Date: Sat, 26 Jan 2013 21:46:55 +0100
Subject: [PATCH] Force gutter width recomputation when clearing the display
caches
---
lib/codemirror.js | 1 +
1 file changed, 1 insertion(+)
diff --git a/lib/codemirror.js b/lib/codemirror.js
index 7a4e2550e..000298782 100644
--- a/lib/codemirror.js
+++ b/lib/codemirror.js
@@ -1025,6 +1025,7 @@ window.CodeMirror = (function() {
cm.display.measureLineCache.length = cm.display.measureLineCachePos = 0;
cm.display.cachedCharWidth = cm.display.cachedTextHeight = null;
cm.display.maxLineChanged = true;
+ cm.display.lineNumChars = null;
}
// Context is one of "line", "div" (display.lineDiv), "local"/null (editor), or "page"
--
GitLab