Function onKeyUp

tools/pythonauto/static/codemirrorepl/codemirror.js:3054–3057

(e)

  }

  function onKeyUp(e) {
    if (signalDOMEvent(this, e)) return;
    if (e.keyCode == 16) this.doc.sel.shift = false;
  }

  function onKeyPress(e) {
    var cm = this;