Function copyPos

external/.scrollLibs.js:1103–1105

(x)

  }

  function copyPos(x) {
    return Pos(x.line, x.ch)
  }
  function maxPos(a, b) {
    return cmp(a, b) < 0 ? b : a
  }