Function redo

tools/pythonauto/static/codemirrorepl/codemirrorepl.js:867–867

()

        }
        function undo() {unredoHelper(history.done, history.undone);}
        function redo() {unredoHelper(history.undone, history.done);}

        function updateLinesNoUndo(from, to, newText, selFrom, selTo) {
            if (suppressEdits) return;