Fix removing of spans

marijnh · marijnh · commit 2b6d7964d839 · 2012-10-16T15:38:50.000+02:00
diff --git a/lib/codemirror.js b/lib/codemirror.js
@@ -2372,7 +2372,7 @@ window.CodeMirror = (function() {
   function removeMarkedSpan(spans, span) {
     var r;
     for (var i = 0; i < spans.length; ++i)
-      if (spans[i] == span) (r || (r = [])).push(spans[i]);
+      if (spans[i] != span) (r || (r = [])).push(spans[i]);
     return r;
   }
 

Original file line number	Diff line number	Diff line change
`@@ -2372,7 +2372,7 @@ window.CodeMirror = (function() {`
`2372`	`2372`	`function removeMarkedSpan(spans, span) {`
`2373`	`2373`	`var r;`
`2374`	`2374`	`for (var i = 0; i < spans.length; ++i)`
`2375`		`- if (spans[i] == span) (r \|\| (r = [])).push(spans[i]);`
	`2375`	`+ if (spans[i] != span) (r \|\| (r = [])).push(spans[i]);`
`2376`	`2376`	`return r;`
`2377`	`2377`	`}`
`2378`	`2378`