Re: "undo" really can replace "redo"

[Stefan Monnier <monnier@iro.umontreal.ca>]

> For instance, if my current killing-ring size is 200, I try to undo last
> the 40th step operation, but, unfortunately, I undo 41 times. At this
> case, I have 2 choices, one is keep undoing until the cycle is back(so
> boring, and I have to very careful to prevent next mistake). Another way,
> is I manually to mend the 41th operation(maybe type some text again). 

No, you just need to stop the undo sequence and start it again:
I.e. do C-f (or any other non-undo command) to stop the undo sequence,
and then do undo again: it will undo your recent undos (i.e. it will redo).


        Stefan