(n)
| 7187 | // Perform a change on the document data structure. |
| 7188 | function updateDoc(doc, change, markedSpans, estimateHeight) { |
| 7189 | function spansFor(n) {return markedSpans ? markedSpans[n] : null;} |
| 7190 | function update(line, text, spans) { |
| 7191 | updateLine(line, text, spans, estimateHeight); |
| 7192 | signalLater(line, "change", line, change); |