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.
f1bd2fd2-c115-d4e8-cb3b-2118f25037bb