Function clipPos

external/.scrollLibs.js:1118–1127

(doc, pos)

    return Math.max(doc.first, Math.min(n, doc.first + doc.size - 1))
  }
  function clipPos(doc, pos) {
    if (pos.line < doc.first) {
      return Pos(doc.first, 0)
    }
    var last = doc.first + doc.size - 1
    if (pos.line > last) {
      return Pos(last, getLine(doc, last).text.length)
    }
    return clipToLen(pos, getLine(doc, pos.line).text.length)
  }
  function clipToLen(pos, linelen) {
    var ch = pos.ch
    if (ch == null || ch > linelen) {