Function onKeyUp

samples/common/codehighlight/codemirror.js:7239–7242

(e)

  }

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

  function onKeyPress(e) {
    var cm = this;