Function cleanUpLine

tools/pythonauto/static/codemirrorepl/codemirror.js:5517–5520

(line)

  // Detach a line from the document tree and its markers.
  function cleanUpLine(line) {
    line.parent = null;
    detachMarkedSpans(line);
  }

  function extractLineClasses(type, output) {
    if (type) for (;;) {