News for hackers. Stuff that matters.
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.

There are no comments on this comment yet.