(line, text, spans)
| 7160 | function updateDoc(doc, change, markedSpans, estimateHeight) { |
| 7161 | function spansFor(n) {return markedSpans ? markedSpans[n] : null;} |
| 7162 | function update(line, text, spans) { |
| 7163 | updateLine(line, text, spans, estimateHeight); |
| 7164 | signalLater(line, "change", line, change); |
| 7165 | } |
| 7166 | function linesFor(start, end) { |
| 7167 | for (var i = start, result = []; i < end; ++i) |
| 7168 | result.push(new Line(text[i], spansFor(i), estimateHeight)); |
no test coverage detected