Function eltText

tools/pythonauto/static/codemirrorepl/codemirrorepl.js:3174–3176

(node)

    // Get a node's text content.
    function eltText(node) {
        return node.textContent || node.innerText || node.nodeValue || "";
    }
    function selectInput(node) {
        if (ios) { // Mobile Safari apparently has a bug where select() is broken.
            node.selectionStart = 0;