(cm)
| 1886 | var nextOpId = 0; |
| 1887 | // Start a new operation. |
| 1888 | function startOperation(cm) { |
| 1889 | cm.curOp = { |
| 1890 | viewChanged: false, // Flag that indicates that lines might need to be redrawn |
| 1891 | startHeight: cm.doc.height, // Used to detect need to update scrollbar |
| 1892 | forceUpdate: false, // Used to force a redraw |
| 1893 | updateInput: null, // Whether to reset the input textarea |
| 1894 | typing: false, // Whether this reset should be careful to leave existing text (for compositing) |
| 1895 | changeObjs: null, // Accumulated changes, for firing change events |
| 1896 | cursorActivityHandlers: null, // Set of handlers to fire cursorActivity on |
| 1897 | selectionChanged: false, // Whether the selection needs to be redrawn |
| 1898 | updateMaxLine: false, // Set when the widest line needs to be determined anew |
| 1899 | scrollLeft: null, scrollTop: null, // Intermediate scroll position, not pushed to DOM yet |
| 1900 | scrollToPos: null, // Used to scroll to a specific position |
| 1901 | id: ++nextOpId // Unique ID |
| 1902 | }; |
| 1903 | if (!delayedCallbackDepth++) delayedCallbacks = []; |
| 1904 | } |
| 1905 | |
| 1906 | // Finish an operation, updating the display and signalling delayed events |
| 1907 | function endOperation(cm) { |
no outgoing calls
no test coverage detected
searching dependent graphs…