Closed ideasman42 closed 2 years ago
I initially intended vundo--mode
to be private. But that's probably a mistake that should be corrected sooner than later. I'll change that to single dash after we sort out #14.
I've renamed vundo--mode
to vundo-mode
.
Thanks (for some reason this didn't auto-close).
By convention double-dash is for internal/private symbols, in the case of key-maps - this is something users are likely to want to customize.
Suggest to name this
vundo-mode-map
.