| keyboard shortcut | Meaning |
|---|---|
| Ctrl+F5 | saves a screen snapshot |
| Ctrl+Alt+F5 | Starts/stops the recording of an AVI video file |
| Ctrl+F9 | Terminates execution - do not use, may lead to data loss |
| Ctrl+F10 | captures/releases the mouse pointer |
| Ctrl+F11 | slows down the execution |
| Ctrl+F12 | accelerates the execution |
| Alt-Enter key | switches between windowed and full-screen view |