(cm, top)
| 108 | // Store a relative adjustment to the scroll position in the current |
| 109 | // operation (to be applied when the operation finishes). |
| 110 | export function addToScrollTop(cm, top) { |
| 111 | if (top == null) return |
| 112 | resolveScrollToPos(cm) |
| 113 | cm.curOp.scrollTop = (cm.curOp.scrollTop == null ? cm.doc.scrollTop : cm.curOp.scrollTop) + top |
| 114 | } |
| 115 | |
| 116 | // Make sure that at the end of the operation the current cursor is |
| 117 | // shown. |
no test coverage detected