(start, end)
| 6949 | signalLater(line, "change", line, change); |
| 6950 | } |
| 6951 | function linesFor(start, end) { |
| 6952 | for (var i = start, result = []; i < end; ++i) |
| 6953 | result.push(new Line(text[i], spansFor(i), estimateHeight)); |
| 6954 | return result; |
| 6955 | } |
| 6956 | |
| 6957 | var from = change.from, to = change.to, text = change.text; |
| 6958 | var firstLine = getLine(doc, from.line), lastLine = getLine(doc, to.line); |