Function selectInput

tools/pythonauto/static/codemirrorepl/codemirrorepl.js:3177–3182

(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;
            node.selectionEnd = node.value.length;
        } else node.select();
    }

    // Operations on {line, ch} objects.
    function posEq(a, b) {return a.line == b.line && a.ch == b.ch;}