Function onKeyPress

tools/pythonauto/static/codemirrorepl/codemirrorepl.js:794–807

(e)

            }
        }
        function onKeyPress(e) {
            if (pollingFast) readInput();
            if (options.onKeyEvent && options.onKeyEvent(instance, addStop(e))) return;
            var keyCode = e_prop(e, "keyCode"), charCode = e_prop(e, "charCode");
            if (window.opera && keyCode == lastStoppedKey) {lastStoppedKey = null; e_preventDefault(e); return;}
            if (((window.opera && (!e.which || e.which < 10)) || khtml) && handleKeyBinding(e)) return;
            var ch = String.fromCharCode(charCode == null ? keyCode : charCode);
            if (options.electricChars && mode.electricChars && options.smartIndent && !options.readOnly) {
                if (mode.electricChars.indexOf(ch) > -1)
                    setTimeout(operation(function() {indentLine(sel.to.line, "smart");}), 75);
            }
            if (handleCharBinding(e, ch)) return;
            fastPoll();
        }
        function onKeyUp(e) {
            if (options.onKeyEvent && options.onKeyEvent(instance, addStop(e))) return;
            if (e_prop(e, "keyCode") == 16) shiftSelecting = null;