(cm, left, top)
| 4486 | // Store a relative adjustment to the scroll position in the current |
| 4487 | // operation (to be applied when the operation finishes). |
| 4488 | function addToScrollPos(cm, left, top) { |
| 4489 | if (left != null || top != null) resolveScrollToPos(cm); |
| 4490 | if (left != null) |
| 4491 | cm.curOp.scrollLeft = (cm.curOp.scrollLeft == null ? cm.doc.scrollLeft : cm.curOp.scrollLeft) + left; |
| 4492 | if (top != null) |
| 4493 | cm.curOp.scrollTop = (cm.curOp.scrollTop == null ? cm.doc.scrollTop : cm.curOp.scrollTop) + top; |
| 4494 | } |
| 4495 | |
| 4496 | // Make sure that at the end of the operation the current cursor is |
| 4497 | // shown. |
no test coverage detected