Find/Replace... (Ctrl+F)
Select the Find/Replace command to search for and replace specific statements or portions of statements. This command applies to the Promela Editor View and Console View.