Function removeChildren

tools/pythonauto/static/codemirrorepl/codemirror.js:7043–7047

(e)

  };

  function removeChildren(e) {
    for (var count = e.childNodes.length; count > 0; --count)
      e.removeChild(e.firstChild);
    return e;
  }

  function removeChildrenAndAdd(parent, e) {
    return removeChildren(parent).appendChild(e);