(doc, line, span)
| 1571 | } |
| 1572 | } |
| 1573 | function lineIsHiddenInner(doc, line, span) { |
| 1574 | if (span.to == null) { |
| 1575 | var end = span.marker.find(1, true) |
| 1576 | return lineIsHiddenInner(doc, end.line, getMarkedSpanFor(end.line.markedSpans, span.marker)) |
| 1577 | } |
| 1578 | if (span.marker.inclusiveRight && span.to == line.text.length) { |
| 1579 | return true |
| 1580 | } |
| 1581 | for (var sp = void 0, i = 0; i < line.markedSpans.length; ++i) { |
| 1582 | sp = line.markedSpans[i] |
| 1583 | if (sp.marker.collapsed && !sp.marker.widgetNode && sp.from == span.to && (sp.to == null || sp.to != span.from) && (sp.marker.inclusiveLeft || span.marker.inclusiveRight) && lineIsHiddenInner(doc, line, sp)) { |
| 1584 | return true |
| 1585 | } |
| 1586 | } |
| 1587 | } |
| 1588 | |
| 1589 | // Find the height above the given line. |
| 1590 | function heightAtLine(lineObj) { |
no test coverage detected