(doc, change)
| 4706 | // are treated specially, in order to make the association of line |
| 4707 | // widgets and marker elements with the text behave more intuitive. |
| 4708 | function isWholeLineUpdate(doc, change) { |
| 4709 | return change.from.ch == 0 && change.to.ch == 0 && lst(change.text) == "" && |
| 4710 | (!doc.cm || doc.cm.options.wholeLineUpdateBefore) |
| 4711 | } |
| 4712 | |
| 4713 | // Perform a change on the document data structure. |
| 4714 | function updateDoc(doc, change, markedSpans, estimateHeight) { |
no test coverage detected