Function getKeyMap

tools/pythonauto/static/codemirrorepl/codemirror.js:4646–4649

(val)

  // KEYMAP DISPATCH

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

  // Given an array of keymaps and a key name, call handle on any
  // bindings found, until that returns a truthy value, at which point