Function getKeyMap

tools/pythonauto/static/codemirror/codemirror.js:3682–3685

(val)

  // KEYMAP DISPATCH

  function getKeyMap(val) {
    if (typeof val == "string") return keyMap[val];
    else return val;
  }

  function lookupKey(name, maps, handle) {
    function lookup(map) {