It would be good if quitting vundo would also close the vundo-diff buffer & window.
So viewing a vundo-diff buffer doesn't leave this buffer open once I've finished using vundo (which I need to manually exit). I'm not so fussed on this being on by default or not, just that it would be nice if it's a toggle.
Of course it's possible to write advice that does this but it seems like something users might want to enable without the hassle of implementing this themselves.
Note that vundo-post-exit-hook can't easily be used for this as the vundo buffer has been deleted (which is needed to access the name of the diff buffer).
This advice for vundo-quit works but it involves using internal names.
It would be good if quitting
vundo
would also close thevundo-diff
buffer & window. So viewing avundo-diff
buffer doesn't leave this buffer open once I've finished usingvundo
(which I need to manually exit). I'm not so fussed on this being on by default or not, just that it would be nice if it's a toggle.Of course it's possible to write advice that does this but it seems like something users might want to enable without the hassle of implementing this themselves.
Note that
vundo-post-exit-hook
can't easily be used for this as the vundo buffer has been deleted (which is needed to access the name of the diff buffer).This advice for
vundo-quit
works but it involves using internal names.