Function selectLine

tools/pythonauto/static/codemirrorepl/codemirrorepl.js:1508–1510

(line)

            setSelectionUser({line: pos.line, ch: start}, {line: pos.line, ch: end});
        }
        function selectLine(line) {
            setSelectionUser({line: line, ch: 0}, clipPos({line: line + 1, ch: 0}));
        }
        function indentSelected(mode) {
            if (posEq(sel.from, sel.to)) return indentLine(sel.from.line, mode);
            var e = sel.to.line - (sel.to.ch ? 0 : 1);