(cm, line, type)
| 3055 | // Register a change to a single line. Type must be one of "text", |
| 3056 | // "gutter", "class", "widget" |
| 3057 | function regLineChange(cm, line, type) { |
| 3058 | cm.curOp.viewChanged = true; |
| 3059 | var display = cm.display, ext = cm.display.externalMeasured; |
| 3060 | if (ext && line >= ext.lineN && line < ext.lineN + ext.size) |
| 3061 | { display.externalMeasured = null; } |
| 3062 | |
| 3063 | if (line < display.viewFrom || line >= display.viewTo) { return } |
| 3064 | var lineView = display.view[findViewIndex(cm, line)]; |
| 3065 | if (lineView.node == null) { return } |
| 3066 | var arr = lineView.changes || (lineView.changes = []); |
| 3067 | if (indexOf(arr, type) == -1) { arr.push(type); } |
| 3068 | } |
| 3069 | |
| 3070 | // Clear the view. |
| 3071 | function resetView(cm) { |
no test coverage detected