Search functionality

EiffelStudio editor provides a search functionality. To search an expression in the edited text, you can either use the Search tool or use a set of keyboard accelerators available directly from the editor. From the editor, you can:

• Search the next occurrence of the last searched pattern. To do so, press "F3". You can change this key binding in the preferences .

• Search the previous occurrence of the last searched pattern. To do so, press "Shift+F3". You can change this key binding in the preferences .

• Search the next occurrence of the current selected pattern. To do so, press "Ctrl+F3". You can change this key binding in the preferences .

• Search the previous occurrence of the current selected pattern. To do so, press "Ctrl+Shift+F3". You can change this key binding in the preferences .

See Also:
Search tool