(start, end)
| 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)); |
| 7169 | return result; |
| 7170 | } |
| 7171 | |
| 7172 | var from = change.from, to = change.to, text = change.text; |
| 7173 | var firstLine = getLine(doc, from.line), lastLine = getLine(doc, to.line); |