Function getLine

external/.scrollLibs.js:967–985

(doc, n)

  // Find the line object corresponding to the given line number.
  function getLine(doc, n) {
    n -= doc.first
    if (n < 0 || n >= doc.size) {
      throw new Error("There is no line " + (n + doc.first) + " in the document.")
    }
    var chunk = doc
    while (!chunk.lines) {
      for (var i = 0; ; ++i) {
        var child = chunk.children[i],
          sz = child.chunkSize()
        if (n < sz) {
          chunk = child
          break
        }
        n -= sz
      }
    }
    return chunk.lines[n]
  }

  // Get the part of a document between two positions, as an array of
  // strings.