3 ms·
Don't forget about the Gundo plugin: it lets you navigate your tree of undo history.
by thomastjeffery 3y ago
Don't forget about the Gundo plugin: it lets you navigate your tree of undo history.
- JetSetIlly 3y agoGundo is great. There is also mundo, which is a fork of gundo. And, undotree, which doesn't require python support.