Questions tagged [plugin-gundo]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
2
votes
1answer
35 views

Alternative to Gundo tree that avoid messing up my window layout

There are several plugins which open a window on the left or right side, nerdtree and tagbar being just to examles. And then there's gundo, the functionality of which is invaluable, but lord... it ...