Re:Resolving the Great Undo-Redo Quandary
by IshKebab on Friday November 11, 2022 @02:22PM
(#33565450)
Yeah maybe, I'd have to play around with both to see which is less annoying.
[ Parent
| on HN ]
There are no comments on this comment yet.