Function getBetween

external/.scrollLibs.js:989–1004

(doc, start, end)

  // Get the part of a document between two positions, as an array of
  // strings.
  function getBetween(doc, start, end) {
    var out = [],
      n = start.line
    doc.iter(start.line, end.line + 1, function (line) {
      var text = line.text
      if (n == end.line) {
        text = text.slice(0, end.ch)
      }
      if (n == start.line) {
        text = text.slice(start.ch)
      }
      out.push(text)
      ++n
    })
    return out
  }
  // Get the lines between from and to, as array of strings.
  function getLines(doc, from, to) {
    var out = []