casouri / vundo

Visualize the undo tree.
413 stars 20 forks source link

BUG: duplicates on `vundo--timestamps` #101

Closed jdtsmith closed 4 months ago

jdtsmith commented 4 months ago

The simplifying "cleanup" fix e5f3b815f4d introduced a subtle bug: it now allows duplicate entries to appear on vundo--timestamps, which is an alist (where only "first match" counts) but is also a time-sorted list, for which duplicates do matter. In some situations this defeats previous/next saved node navigation, since the current and target node are identical.

Update: Hotfix in #102.