(n)
| 4125 | |
| 4126 | function updateDoc(doc, change, markedSpans, selAfter, estimateHeight) { |
| 4127 | function spansFor(n) {return markedSpans ? markedSpans[n] : null;} |
| 4128 | |
| 4129 | var from = change.from, to = change.to, text = change.text; |
| 4130 | var firstLine = getLine(doc, from.line), lastLine = getLine(doc, to.line); |