Index

Edit

The edit menu is used to provide various editing operations for the current edit tab.

Undo: This reverses the last editing operation.

Cut: This copies the selected text to the clipboard and removes it from the source.
Copy: This copies the selected text to the clipboard.
Paste: This copies text from the clipboard to the current position in the source text.

Delete: This deletes the selected text.

Include File: This prompts for a file, whose contents are inserted into the current position in the source.