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.
[ Parent
| on HN ]
There are no comments on this comment yet.