Function dispatchKey

external/.scrollLibs.js:9786–9807

(cm, name, e, handle)

  var stopSeq = new Delayed()

  function dispatchKey(cm, name, e, handle) {
    var seq = cm.state.keySeq
    if (seq) {
      if (isModifierKey(name)) {
        return "handled"
      }
      if (/\'$/.test(name)) {
        cm.state.keySeq = null
      } else {
        stopSeq.set(50, function () {
          if (cm.state.keySeq == seq) {
            cm.state.keySeq = null
            cm.display.input.reset()
          }
        })
      }
      if (dispatchKeyInner(cm, seq + " " + name, e, handle)) {
        return true
      }
    }
    return dispatchKeyInner(cm, name, e, handle)
  }

  function dispatchKeyInner(cm, name, e, handle) {
    var result = lookupKeyForEditor(cm, name, handle)