Function addText

lib/web/CodeMirror/src/input/ContentEditableInput.js:429–434

(str)

    }
  }
  function addText(str) {
    if (str) {
      close()
      text += str
    }
  }
  function walk(node) {
    if (node.nodeType == 1) {
      let cmText = node.getAttribute("cm-text")