redo-command

Arguments:
text-edit-pane

Modifies window so that it is in the state that it was in just before
the most recent call to undo-command on the window. This is done only
if there have been no user text edits since undo-command was called, other than other calls
to redo-command. If redo-command is called multiple times
in succession, any further text edits that were undone by successive
calls to undo-command are
redone until there are no more to redo.