News for hackers. Stuff that matters.
Re:Resolving the Great Undo-Redo Quandary by dmix on Friday November 11, 2022 @12:08PM (#33563450)
I was thinking maybe you ignore it for the first 10 seconds or even better until the cursor changes to a new position, thqt way quick rewinds work in the moment. But later on you can restore the state with undos factored in.

There are no comments on this comment yet.