News for hackers. Stuff that matters.

A comment on Resolving the Great Undo-Redo Quandary.

Re:Resolving the Great Undo-Redo Quandary by indosauros on Friday November 11, 2022 @08:58AM (#33560856)
FYI if you use Jetbrains/PyCharm, it also provides this (and has saved me many times)

Just right click your file and view "Local History"

[ Parent | on HN ]
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 ]