Function onKeyUp

external/.scrollLibs.js:9905–9910

(e)

  }

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

  function onKeyPress(e) {
    var cm = this