adds gundo shortcut