Function signalDOMEvent

tools/pythonauto/static/codemirror/codemirror.js:5547–5550

(cm, e, override)

  }

  function signalDOMEvent(cm, e, override) {
    signal(cm, override || e.type, cm, e);
    return e_defaultPrevented(e) || e.codemirrorIgnore;
  }

  function fireDelayed() {
    --delayedCallbackDepth;