Function attachMarkedSpans

tools/pythonauto/static/codemirror/codemirror.js:4309–4314

(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