Function getKeyMap

tools/pythonauto/static/codemirrorepl/codemirrorepl.js:2290–2293

(val)

    };

    function getKeyMap(val) {
        if (typeof val == "string") return keyMap[val];
        else return val;
    }
    function lookupKey(name, extraMap, map, handle, stop) {
        function lookup(map) {
            map = getKeyMap(map);