News for hackers. Stuff that matters.
Re:Resolving the Great Undo-Redo Quandary by TuringTest on Friday November 11, 2022 @11:19AM (#33562689)
Note that if you delete something and press Undo, it restores the content that was there before removing it.

The "branching undo" in the article extends the concept to being able to recover things that were at some point in your "redo" pile, but which in other editors would been have lost when you typed something else while in that state.

As the article explains, the simplest mental model is "rewind in time to the point I was 5 minutes, 10, 15, 20 minutes in the past". If you've been undoing and redoing things, going through that point in the past will retrieve those removals and retrievals.

There are no comments on this comment yet.