Function removeChildrenAndAdd

samples/common/codehighlight/codemirror.js:67–69

(parent, e)

  }

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

  function elt(tag, content, className, style) {
    var e = document.createElement(tag);