Function isModifierKey

tools/pythonauto/static/codemirrorepl/codemirrorepl.js:2315–2318

(event)

        return lookup(map);
    }
    function isModifierKey(event) {
        var name = keyNames[e_prop(event, "keyCode")];
        return name == "Ctrl" || name == "Alt" || name == "Shift" || name == "Mod";
    }

    CodeMirror.fromTextArea = function(textarea, options) {
        if (!options) options = {};