(n)
| 6490 | // Perform a change on the document data structure. |
| 6491 | function updateDoc(doc, change, markedSpans, estimateHeight$$1) { |
| 6492 | function spansFor(n) { |
| 6493 | return markedSpans ? markedSpans[n] : null |
| 6494 | } |
| 6495 | function update(line, text, spans) { |
| 6496 | updateLine(line, text, spans, estimateHeight$$1) |
| 6497 | signalLater(line, "change", line, change) |