News for hackers. Stuff that matters.

A comment on Resolving the Great Undo-Redo Quandary. Parent comment

Re:Resolving the Great Undo-Redo Quandary by jasonjmcghee on Friday November 11, 2022 @11:10AM (#33562582)
Yup. And it's full-text searchable, which I've found people generally don't realize. Fantastic feature.
[ Parent | on HN ]

There are no comments on this comment yet.