Function onKeyUp

GUI/codemirror/lib/codemirror.js:3085–3088

(e)

  }

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

  function onKeyPress(e) {
    var cm = this;