Currently if the vundo popup is displayed and the parent buffer from which it was spawned is killed the vundo popup persists and needs closing separately.
Would be useful to have the option to have the vundo popup closed/killed automatically when the parent buffer is closed.
Currently if the vundo popup is displayed and the parent buffer from which it was spawned is killed the vundo popup persists and needs closing separately.
Would be useful to have the option to have the vundo popup closed/killed automatically when the parent buffer is closed.