widgetsSeen is no longer an array

jasonsanjose · marijnh · commit 7ae4ba63f272 · 2013-02-01T10:18:44.000+01:00
diff --git a/lib/codemirror.js b/lib/codemirror.js
@@ -652,7 +652,7 @@ window.CodeMirror = (function() {
           if (i == line.widgets.length) { isOk = false; break; }
         }
       }
-      if (isOk && widgetsSeen.length == line.widgets.length) {
+      if (isOk && widgetsSeen == line.widgets.length) {
         wrap = reuse;
         reuse.className = line.wrapClass || "";
       }

Original file line number	Diff line number	Diff line change
`@@ -652,7 +652,7 @@ window.CodeMirror = (function() {`
`652`	`652`	`if (i == line.widgets.length) { isOk = false; break; }`
`653`	`653`	`}`
`654`	`654`	`}`
`655`		`- if (isOk && widgetsSeen.length == line.widgets.length) {`
	`655`	`+ if (isOk && widgetsSeen == line.widgets.length) {`
`656`	`656`	`wrap = reuse;`
`657`	`657`	`reuse.className = line.wrapClass \|\| "";`
`658`	`658`	`}`