mirror of
https://github.com/EiffelSoftware/eiffel-org.git
synced 2025-12-09 00:02:53 +01:00
4087eb614e
Date:2008-09-19T07:55:09.000000Z git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@27 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
28 lines
1.2 KiB
Plaintext
28 lines
1.2 KiB
Plaintext
[[Property:title|Search functionality]]
|
|
[[Property:weight|5]]
|
|
[[Property:uuid|eecef577-ac83-610c-9ffd-cb20c4002346]]
|
|
EiffelStudio editor provides a search functionality. To search an expression in the edited text, you can either use the [[Search tool|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. <br/>
|
|
To do so, press "F3". You can change this key binding in [[Keyboard shortcuts preferences|the preferences]] .
|
|
|
|
*
|
|
Search the previous occurrence of the last searched pattern. <br/>
|
|
To do so, press "Shift+F3". You can change this key binding in [[Keyboard shortcuts preferences|the preferences]] .
|
|
|
|
*
|
|
Search the next occurrence of the current selected pattern. <br/>
|
|
To do so, press "Ctrl+F3". You can change this key binding in [[Keyboard shortcuts preferences|the preferences]] .
|
|
|
|
*
|
|
Search the previous occurrence of the current selected pattern. <br/>
|
|
To do so, press "Ctrl+Shift+F3". You can change this key binding in [[Keyboard shortcuts preferences|the preferences]] .
|
|
|
|
|
|
{{seealso| '''See Also''' <br/>
|
|
[[Search tool|Search tool]] }}
|
|
|
|
|
|
|
|
|