(cm)
| 3508 | // Make sure that at the end of the operation the current cursor is |
| 3509 | // shown. |
| 3510 | function ensureCursorVisible(cm) { |
| 3511 | resolveScrollToPos(cm); |
| 3512 | var cur = cm.getCursor(); |
| 3513 | cm.curOp.scrollToPos = {from: cur, to: cur, margin: cm.options.cursorScrollMargin}; |
| 3514 | } |
| 3515 | |
| 3516 | function scrollToCoords(cm, x, y) { |
| 3517 | if (x != null || y != null) { resolveScrollToPos(cm); } |
no test coverage detected