Function addMarkedSpan

external/.scrollLibs.js:1189–1192

(line, span)

  }
  // Add a span to a line.
  function addMarkedSpan(line, span) {
    line.markedSpans = line.markedSpans ? line.markedSpans.concat([span]) : [span]
    span.marker.attachLine(line)
  }

  // Used for the algorithm that adjusts markers for a change in the
  // document. These functions cut an array of spans at a given