Re:Resolving the Great Undo-Redo Quandary
by kqr on Friday November 11, 2022 @11:15AM
(#33562645)
That means silently killing off potentially large amounts of editing history every time you edit after an undo. That's the problem this article is about.
[ Parent
| on HN ]
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.