“shake to redo” is another name for Shake to undo.