Function replaceText

tools/renderer.js:22–24

(textNode, value)

    return document.createTextNode(value);
  },
  replaceText(textNode, value) {
    textNode.nodeValue = value;
  },
  setProperty(node, name, value, prev) {
    if (value === prev) return;