(doc, change)
| 4642 | // are treated specially, in order to make the association of line |
| 4643 | // widgets and marker elements with the text behave more intuitive. |
| 4644 | function isWholeLineUpdate(doc, change) { |
| 4645 | return change.from.ch == 0 && change.to.ch == 0 && lst(change.text) == "" && |
| 4646 | (!doc.cm || doc.cm.options.wholeLineUpdateBefore) |
| 4647 | } |
| 4648 | |
| 4649 | // Perform a change on the document data structure. |
| 4650 | function updateDoc(doc, change, markedSpans, estimateHeight$$1) { |
no test coverage detected