(cm)
| 1870 | var nextOpId = 0; |
| 1871 | // Start a new operation. |
| 1872 | function startOperation(cm) { |
| 1873 | cm.curOp = { |
| 1874 | viewChanged: false, // Flag that indicates that lines might need to be redrawn |
| 1875 | startHeight: cm.doc.height, // Used to detect need to update scrollbar |
| 1876 | forceUpdate: false, // Used to force a redraw |
| 1877 | updateInput: null, // Whether to reset the input textarea |
| 1878 | typing: false, // Whether this reset should be careful to leave existing text (for compositing) |
| 1879 | changeObjs: null, // Accumulated changes, for firing change events |
| 1880 | origin: null, // Selection's origin |
| 1881 | cursorActivity: false, // Whether to fire a cursorActivity event |
| 1882 | selectionChanged: false, // Whether the selection needs to be redrawn |
| 1883 | updateMaxLine: false, // Set when the widest line needs to be determined anew |
| 1884 | scrollLeft: null, scrollTop: null, // Intermediate scroll position, not pushed to DOM yet |
| 1885 | scrollToPos: null, // Used to scroll to a specific position |
| 1886 | id: ++nextOpId // Unique ID |
| 1887 | }; |
| 1888 | if (!delayedCallbackDepth++) delayedCallbacks = []; |
| 1889 | } |
| 1890 | |
| 1891 | // Finish an operation, updating the display and signalling delayed events |
| 1892 | function endOperation(cm) { |
no outgoing calls
no test coverage detected