Function removeChildrenAndAdd

lib/web/CodeMirror/src/util/dom.js:20–22

(parent, e)

}

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

export function elt(tag, content, className, style) {
  let e = document.createElement(tag)