Menu Commands

File

New

Open

Consult

Save

Save As

Exit

Edit

Undo

Redo

Cut

Copy

Paste

Delete

Insert ... >>

Search

Search Again

Replace

Go to Line Number

Go to Position

Go to Clause

Engine

Reset

Reconsult

Trace Calls

Pause

Stop Execution

Options

(to be filled in)