diff --git a/lib/codemirror.js b/lib/codemirror.js index 70e3fec539b5cdbd3ff6433c2f1ec997f63d9e6a..6b9b71c701ebd7f77b371edbf213022d5014b37f 100644 --- a/lib/codemirror.js +++ b/lib/codemirror.js @@ -7626,9 +7626,9 @@ var spans = line.markedSpans; if (spans) for (var i = 0; i < spans.length; i++) { var span = spans[i]; - if (!(span.to != null && lineNo == from.line && from.ch > span.to || + if (!(span.to != null && lineNo == from.line && from.ch >= span.to || span.from == null && lineNo != from.line || - span.from != null && lineNo == to.line && span.from > to.ch) && + span.from != null && lineNo == to.line && span.from >= to.ch) && (!filter || filter(span.marker))) found.push(span.marker.parent || span.marker); }