to main chapter General Functionality

Undo

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