Function stop

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

()

            var stopped = false;
            function stop() { stopped = true; }

            if (e_prop(e, "shiftKey")) {
                handled = lookupKey("Shift-" + name, options.extraKeys, options.keyMap,