On 2008-03-20 15:25:04 +0000, Catalin Marinas wrote:
We can even add aliases for 'undo' and 'redo'.
It's not entirely clear (to me at least) exactly what undo and redo
should do. Something like this maybe:
undo: If the log begins with k "undo" entries (k >= 0), reset to
log~(2k+1).
redo: Find the most recent "undo" entry that hasn't been cancelled
out by a "redo". If this is the most recent log entry (except
the cancelled-out ones), reset to it; otherwise, complain that
the last command was not an undo or redo.
I _think_ this does what one naively expects undo and redo to do.
--
Karl Hasselström, kha@treskal.com
www.treskal.com/kalle