- 18.11 (released) ...
EiffelStudio editor provides common clipboard functionality, i.e. Cut, Copy and Paste commands.
- To copy text to the clipboard, select it in the editor first. Then, you may either press the key combination "Ctrl+C" (or "Shift+Ins"), click on the copy icon or choose Copy in the Edit menu.
- To cut text, i.e. copy it to the clipboard and delete it, select it and then either press "Ctrl+X" (or "Shift+Del"), click on the cut icon or choose Cut in the Edit menu.