2 Commits

Author	SHA1	Message	Date
Jim Myhrberg	911bdb7182	feat(editor): add extra navigation keybindings for vundo ... Simply add ctrl variants of the standard f/b/n/p/a/e keybindings enabled in vundo-mode-map.	2022-04-28 12:08:11 +01:00
Jim Myhrberg	177f075853	feat(editor): replace undo-tree with undo-fu and vundo ... Also replace undohist with undo-fu-session. Overall this seems to yield a more reliable undo history, as undo-fu and vundo supposedly operate with vanilla emacs undo history state, while undo-tree supposedly does some custom tweaks to the undo state.	2022-04-26 23:39:48 +01:00