- 18.07 (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.
cached: 10/23/2018 5:46:48.000 AM