Function attachMarkedSpans

static/js/codemirror/codemirror.js:3759–3764

(line, spans)

  }

  function attachMarkedSpans(line, spans) {
    if (!spans) return;
    for (var i = 0; i < spans.length; ++i)
      spans[i].marker.attachLine(line);
    line.markedSpans = spans;
  }

  // LINE WIDGETS