(n)
| 6944 | // Perform a change on the document data structure. |
| 6945 | function updateDoc(doc, change, markedSpans, estimateHeight) { |
| 6946 | function spansFor(n) {return markedSpans ? markedSpans[n] : null;} |
| 6947 | function update(line, text, spans) { |
| 6948 | updateLine(line, text, spans, estimateHeight); |
| 6949 | signalLater(line, "change", line, change); |