Function done

tools/pythonauto/static/codemirrorepl/codemirrorepl.js:634–642

(e)

            }

            function done(e) {
                clearTimeout(going);
                var cur = posFromMouse(e);
                if (cur) setSelectionUser(start, cur);
                e_preventDefault(e);
                focusInput();
                updateInput = true;
                move(); up();
            }
            var move = connect(document, "mousemove", operation(function(e) {
                clearTimeout(going);
                e_preventDefault(e);