You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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 a
vundo-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.The text was updated successfully, but these errors were encountered: