3 ms·
The last time I used it, Gundo becomes unusably slow when you get more than a modest amount of edits in your history.
by burgerbrain 16y ago
The last time I used it, Gundo becomes unusably slow when you get more than a modest amount of edits in your history.