to main chapter General Functionality

Undo

You can undo your input by typing Ctrl-Backspace and redo by typing Shift-Ctrl-Backspace. The default number of remembered undo events is 1000.