(start, end)
| 7166 | signalLater(line, "change", line, change); |
| 7167 | } |
| 7168 | function linesFor(start, end) { |
| 7169 | for (var i = start, result = []; i < end; ++i) |
| 7170 | result.push(new Line(text[i], spansFor(i), estimateHeight)); |
| 7171 | return result; |
| 7172 | } |
| 7173 | |
| 7174 | var from = change.from, to = change.to, text = change.text; |
| 7175 | var firstLine = getLine(doc, from.line), lastLine = getLine(doc, to.line); |