Function stopMethod

mini-code-editor/cm/lib/codemirror.js:2824–2824

()

  };

  function stopMethod() {e_stop(this);}
  // Ensure an event has a stop method.
  function addStop(event) {
    if (!event.stop) event.stop = stopMethod;