(doc, change)
| 7152 | // are treated specially, in order to make the association of line |
| 7153 | // widgets and marker elements with the text behave more intuitive. |
| 7154 | function isWholeLineUpdate(doc, change) { |
| 7155 | return change.from.ch == 0 && change.to.ch == 0 && lst(change.text) == "" && |
| 7156 | (!doc.cm || doc.cm.options.wholeLineUpdateBefore); |
| 7157 | } |
| 7158 | |
| 7159 | // Perform a change on the document data structure. |
| 7160 | function updateDoc(doc, change, markedSpans, estimateHeight) { |
no test coverage detected