Luckily there’s a standard keyboard shortcut for “undo” as well. ;)