Function clipPosArray

external/.scrollLibs.js:1138–1144

(doc, array)

    }
  }
  function clipPosArray(doc, array) {
    var out = []
    for (var i = 0; i < array.length; i++) {
      out[i] = clipPos(doc, array[i])
    }
    return out
  }

  // Optimize some code when these features are not used.
  var sawReadOnlySpans = false,