(op)
| 3853 | } |
| 3854 | |
| 3855 | function endOperation_W2(op) { |
| 3856 | var cm = op.cm; |
| 3857 | |
| 3858 | if (op.adjustWidthTo != null) { |
| 3859 | cm.display.sizer.style.minWidth = op.adjustWidthTo + "px"; |
| 3860 | if (op.maxScrollLeft < cm.doc.scrollLeft) |
| 3861 | { setScrollLeft(cm, Math.min(cm.display.scroller.scrollLeft, op.maxScrollLeft), true); } |
| 3862 | cm.display.maxLineChanged = false; |
| 3863 | } |
| 3864 | |
| 3865 | var takeFocus = op.focus && op.focus == activeElt(); |
| 3866 | if (op.preparedSelection) |
| 3867 | { cm.display.input.showSelection(op.preparedSelection, takeFocus); } |
| 3868 | if (op.updatedDisplay || op.startHeight != cm.doc.height) |
| 3869 | { updateScrollbars(cm, op.barMeasure); } |
| 3870 | if (op.updatedDisplay) |
| 3871 | { setDocumentHeight(cm, op.barMeasure); } |
| 3872 | |
| 3873 | if (op.selectionChanged) { restartBlink(cm); } |
| 3874 | |
| 3875 | if (cm.state.focused && op.updateInput) |
| 3876 | { cm.display.input.reset(op.typing); } |
| 3877 | if (takeFocus) { ensureFocus(op.cm); } |
| 3878 | } |
| 3879 | |
| 3880 | function endOperation_finish(op) { |
| 3881 | var cm = op.cm, display = cm.display, doc = cm.doc; |
no test coverage detected