Function stopMethod

tools/pythonauto/static/codemirrorepl/codemirrorepl.js:3024–3024

()

    };

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