(start, end)
| 7192 | signalLater(line, "change", line, change); |
| 7193 | } |
| 7194 | function linesFor(start, end) { |
| 7195 | for (var i = start, result = []; i < end; ++i) |
| 7196 | result.push(new Line(text[i], spansFor(i), estimateHeight)); |
| 7197 | return result; |
| 7198 | } |
| 7199 | |
| 7200 | var from = change.from, to = change.to, text = change.text; |
| 7201 | var firstLine = getLine(doc, from.line), lastLine = getLine(doc, to.line); |