From 8ba41d0b66ebd8c27a52c19c4de8f371dc5d368f Mon Sep 17 00:00:00 2001
From: Marijn Haverbeke <marijnh@gmail.com>
Date: Wed, 26 Sep 2012 11:30:13 +0200
Subject: [PATCH] Fix bug in setOption("lineNumbers", true)
It would not propertly update the gutter width.
---
lib/codemirror.js | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/lib/codemirror.js b/lib/codemirror.js
index 528cd249..86a200c2 100644
--- a/lib/codemirror.js
+++ b/lib/codemirror.js
@@ -374,7 +374,7 @@ window.CodeMirror = (function() {
visible.from > display.showingFrom && visible.to < display.showingTo)
return;
- if (changes && changes !== true && maybeUpdateLineNumberWidth(cm))
+ if (changes && maybeUpdateLineNumberWidth(cm))
changes = true;
display.sizer.style.marginLeft = display.scrollbarH.style.left = display.gutters.offsetWidth + "px";
// Used to determine which lines need their line numbers updated
--
GitLab