(op)
| 3061 | } |
| 3062 | |
| 3063 | function endOperation_R1(op) { |
| 3064 | var cm = op.cm, display = cm.display; |
| 3065 | maybeClipScrollbars(cm); |
| 3066 | if (op.updateMaxLine) findMaxLine(cm); |
| 3067 | |
| 3068 | op.mustUpdate = op.viewChanged || op.forceUpdate || op.scrollTop != null || |
| 3069 | op.scrollToPos && (op.scrollToPos.from.line < display.viewFrom || |
| 3070 | op.scrollToPos.to.line >= display.viewTo) || |
| 3071 | display.maxLineChanged && cm.options.lineWrapping; |
| 3072 | op.update = op.mustUpdate && |
| 3073 | new DisplayUpdate(cm, op.mustUpdate && {top: op.scrollTop, ensure: op.scrollToPos}, op.forceUpdate); |
| 3074 | } |
| 3075 | |
| 3076 | function endOperation_W1(op) { |
| 3077 | op.updatedDisplay = op.mustUpdate && updateDisplayIfNeeded(op.cm, op.update); |
no test coverage detected