Function onKeyUp

tools/pythonauto/static/codemirrorepl/codemirrorepl.js:808–811

(e)

            fastPoll();
        }
        function onKeyUp(e) {
            if (options.onKeyEvent && options.onKeyEvent(instance, addStop(e))) return;
            if (e_prop(e, "keyCode") == 16) shiftSelecting = null;
        }

        function onFocus() {
            if (options.readOnly == "nocursor") return;