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.