Function updateLine

external/.scrollLibs.js:2796–2813

(line, text, markedSpans, estimateHeight)

  // invalidates cached information and tries to re-estimate the
  // line's height.
  function updateLine(line, text, markedSpans, estimateHeight) {
    line.text = text
    if (line.stateAfter) {
      line.stateAfter = null
    }
    if (line.styles) {
      line.styles = null
    }
    if (line.order != null) {
      line.order = null
    }
    detachMarkedSpans(line)
    attachMarkedSpans(line, markedSpans)
    var estHeight = estimateHeight ? estimateHeight(line) : 1
    if (estHeight != line.height) {
      updateLineHeight(line, estHeight)
    }
  }

  // Detach a line from the document tree and its markers.
  function cleanUpLine(line) {