(cm, top)
| 4971 | // Store a relative adjustment to the scroll position in the current |
| 4972 | // operation (to be applied when the operation finishes). |
| 4973 | function addToScrollTop(cm, top) { |
| 4974 | if (top == null) { |
| 4975 | return |
| 4976 | } |
| 4977 | resolveScrollToPos(cm) |
| 4978 | cm.curOp.scrollTop = (cm.curOp.scrollTop == null ? cm.doc.scrollTop : cm.curOp.scrollTop) + top |
| 4979 | } |
| 4980 | |
| 4981 | // Make sure that at the end of the operation the current cursor is |
| 4982 | // shown. |
no test coverage detected