(doc, change)
| 6484 | // are treated specially, in order to make the association of line |
| 6485 | // widgets and marker elements with the text behave more intuitive. |
| 6486 | function isWholeLineUpdate(doc, change) { |
| 6487 | return change.from.ch == 0 && change.to.ch == 0 && lst(change.text) == "" && (!doc.cm || doc.cm.options.wholeLineUpdateBefore) |
| 6488 | } |
| 6489 | |
| 6490 | // Perform a change on the document data structure. |
| 6491 | function updateDoc(doc, change, markedSpans, estimateHeight$$1) { |
no test coverage detected