New shortcut C-] for redo so that it works even in terminal