Function ensureCursorVisible

external/.scrollLibs.js:4983–4987

(cm)

  // Make sure that at the end of the operation the current cursor is
  // shown.
  function ensureCursorVisible(cm) {
    resolveScrollToPos(cm)
    var cur = cm.getCursor()
    cm.curOp.scrollToPos = { from: cur, to: cur, margin: cm.options.cursorScrollMargin }
  }

  function scrollToCoords(cm, x, y) {
    if (x != null || y != null) {