Function setTextContent

tools/pythonauto/static/codemirror/codemirror.js:5684–5689

(e, str)

  }

  function setTextContent(e, str) {
    if (ie_lt9) {
      e.innerHTML = "";
      e.appendChild(document.createTextNode(str));
    } else e.textContent = str;
  }

  function getRect(node) {
    return node.getBoundingClientRect();