E.4 How to quickly retype a command used previously?

• First method: with the mouse, click on the line in the history area, it will reappear immediately on the control line.
• Second method: with the keyboard, the Up and Down arrows allow navigation of the list of previous commands that have been typed, (very practical).