(n)
| 22 | // Perform a change on the document data structure. |
| 23 | export function updateDoc(doc, change, markedSpans, estimateHeight) { |
| 24 | function spansFor(n) {return markedSpans ? markedSpans[n] : null} |
| 25 | function update(line, text, spans) { |
| 26 | updateLine(line, text, spans, estimateHeight) |
| 27 | signalLater(line, "change", line, change) |