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
.