(lineView, line, lineN)
| 2409 | // measurement cache for the given line number. (A line view might |
| 2410 | // contain multiple lines when collapsed ranges are present.) |
| 2411 | function mapFromLineView(lineView, line, lineN) { |
| 2412 | if (lineView.line == line) |
| 2413 | { return {map: lineView.measure.map, cache: lineView.measure.cache} } |
| 2414 | for (var i = 0; i < lineView.rest.length; i++) |
| 2415 | { if (lineView.rest[i] == line) |
| 2416 | { return {map: lineView.measure.maps[i], cache: lineView.measure.caches[i]} } } |
| 2417 | for (var i$1 = 0; i$1 < lineView.rest.length; i$1++) |
| 2418 | { if (lineNo(lineView.rest[i$1]) > lineN) |
| 2419 | { return {map: lineView.measure.maps[i$1], cache: lineView.measure.caches[i$1], before: true} } } |
| 2420 | } |
| 2421 | |
| 2422 | // Render a line into the hidden node display.externalMeasured. Used |
| 2423 | // when measurement is needed for a line that's not in the viewport. |
no test coverage detected