ParentFull threadthomastjeffery·Don't forget about the Gundo plugin: it lets you navigate your tree of undo history.View on HN