mirror of
https://github.com/EiffelSoftware/eiffel-org.git
synced 2025-12-08 15:52:26 +01:00
2ee31ab9c7
Date:2008-09-17T13:53:28.000000Z git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@3 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
27 lines
1.1 KiB
Plaintext
27 lines
1.1 KiB
Plaintext
[[Property:title|Search functionality]]
|
|
[[Property:weight|5]]
|
|
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]] }}
|
|
|
|
|
|
|
|
|