Find/Replace... (Ctrl+F)

Select the Find/Replace command to search for an expression in the active editor, and optionally replace the expression with a new expression. This command applies to the Promela Editor and Console View.