Function extend

tools/pythonauto/static/codemirrorepl/codemirrorepl.js:621–632

(e)

            setCursor(start.line, start.ch, true);

            function extend(e) {
                var cur = posFromMouse(e, true);
                if (cur && !posEq(cur, last)) {
                    if (!focused) onFocus();
                    last = cur;
                    setSelectionUser(start, cur);
                    updateInput = false;
                    var visible = visibleLines();
                    if (cur.line >= visible.to || cur.line < visible.from)
                        going = setTimeout(operation(function(){extend(e);}), 150);
                }
            }

            function done(e) {
                clearTimeout(going);