Function indentSelected

tools/pythonauto/static/codemirrorepl/codemirrorepl.js:1511–1515

(mode)

            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);
            for (var i = sel.from.line; i <= e; ++i) indentLine(i, mode);
        }

        function indentLine(n, how) {
            if (!how) how = "add";