Hot keys

The usual hot keys work in the editor:

• Shift + arrow for select

• Ctrl + C for copy

• Ctrl + X for cut

• Ctrl + V for insert

• Ctrl + Z for undo

• Ctrl + Y for repeat

• Print
• Edit
• Quit
• |
• ←
• 1
• 2
• →
• |

• 1|2