Hacker News new | ask | show | jobs
by thomastjeffery 918 days ago
Don't forget about the Gundo plugin: it lets you navigate your tree of undo history.
1 comments

Gundo is great. There is also mundo, which is a fork of gundo. And, undotree, which doesn't require python support.