Clipboard functionality

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.

• To paste text from the clipboard, either press "Ctrl+V" (or"Ctrl+Ins"), click on the paste icon or choose Paste in the Edit menu.