Function replaceRange

external/.scrollLibs.js:7408–7421

(doc, code, from, to, origin)

  }

  function replaceRange(doc, code, from, to, origin) {
    var assign

    if (!to) {
      to = from
    }
    if (cmp(to, from) < 0) {
      ;(assign = [to, from]), (from = assign[0]), (to = assign[1])
    }
    if (typeof code == "string") {
      code = doc.splitLines(code)
    }
    makeChange(doc, { from: from, to: to, text: code, origin: origin })
  }

  // Rebasing/resetting history to deal with externally-sourced changes