Function onDoubleClick

tools/pythonauto/static/codemirrorepl/codemirrorepl.js:651–659

(e)

            var up = connect(document, "mouseup", operation(done), true);
        }
        function onDoubleClick(e) {
            for (var n = e_target(e); n != wrapper; n = n.parentNode)
                if (n.parentNode == gutterText) return e_preventDefault(e);
            var start = posFromMouse(e);
            if (!start) return;
            lastDoubleClick = {time: +new Date, pos: start};
            e_preventDefault(e);
            selectWordAt(start);
        }
        function onDrop(e) {
            if (options.onDragEvent && options.onDragEvent(instance, addStop(e))) return;
            e.preventDefault();