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

Mouse

Of course you can also select with the mouse and use your browser's editing features.

• Linux / X11: A left doubleclick selects and copies a word, and a click on the middle mouse key is insert.