Function removeChildrenAndAdd

GUI/codemirror/lib/codemirror.js:7107–7109

(parent, e)

  }

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

  function contains(parent, child) {
    if (parent.contains)