(cm, top)
| 3500 | // Store a relative adjustment to the scroll position in the current |
| 3501 | // operation (to be applied when the operation finishes). |
| 3502 | function addToScrollTop(cm, top) { |
| 3503 | if (top == null) { return } |
| 3504 | resolveScrollToPos(cm); |
| 3505 | cm.curOp.scrollTop = (cm.curOp.scrollTop == null ? cm.doc.scrollTop : cm.curOp.scrollTop) + top; |
| 3506 | } |
| 3507 | |
| 3508 | // Make sure that at the end of the operation the current cursor is |
| 3509 | // shown. |
no test coverage detected