Function equalCursorPos

external/.scrollLibs.js:1099–1101

(a, b)

  }

  function equalCursorPos(a, b) {
    return a.sticky == b.sticky && cmp(a, b) == 0
  }

  function copyPos(x) {
    return Pos(x.line, x.ch)