Function getSelection

tools/pythonauto/static/codemirrorepl/codemirrorepl.js:1021–1023

()

            return code.join("\n");
        }
        function getSelection() {
            return getRange(sel.from, sel.to);
        }

        var pollingFast = false; // Ensures slowPoll doesn't cancel fastPoll
        function slowPoll() {