Function isWordChar

tools/pythonauto/static/codemirrorepl/codemirrorepl.js:3226–3228

(ch)

        return -1;
    }
    function isWordChar(ch) {
        return /\w/.test(ch) || ch.toUpperCase() != ch.toLowerCase();
    }

    // See if "".split is the broken IE version, if so, provide an
    // alternative way to split lines.