mirrors/eiffel-org
1
0
Fork 0
mirror of https://github.com/EiffelSoftware/eiffel-org.git synced 2026-04-04 17:19:23 +02:00
Code Issues Packages Projects Releases Wiki Activity

Author:halw

Browse Source 
Date:2009-01-12T21:52:34.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@158 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
This commit is contained in:
halw
2009-01-12 21:52:34 +00:00
parent d149543df8
commit c7b9576242
18 changed files with 72 additions and 75 deletions
Download Patch File Download Diff File Expand all files Collapse all files

19
documentation/current/eiffelstudio/eiffelstudio-reference/browsing-tools/search-tool.wiki
View File

@@ -18,26 +18,21 @@ The bottom part contains two buttons: "Search" and "Replace". Click on the first
==Options==
The options are located in the middle of the search panel. There are five buttons, each of them corresponding to an option:
*
Match case: If this option is selected, the search will be case-sensitive, which means that if you search for "example", the tool will highlight "example" but not "EXAMPLE" or "Example", as there are no capital letters in the searched pattern.
* Match case: If this option is selected, the search will be case-sensitive, which means that if you search for "example", the tool will highlight "example" but not "EXAMPLE" or "Example", as there are no capital letters in the searched pattern.
* Whole word: If this option is selected, the tool will look for isolated words. A word is isolated if it is surrounded by spaces or if it is at the beginning or the end of a line.
*
Use wildcards: If this option is not selected, the tool will look for the exact sequence of letters you entered in the "Search for" field. If it is selected, you will be able to use '*' and '?'wildcards. '?' in the searched pattern is equivalent to any character. For instance, "sample" and "simple" will be highlighted if you look for "s?mple". <br/>
'*' is equivalent to any sequence of characters, including no characters at all. It means that if you search for "exam*ple", every piece of text beginning with "exam" and finishing with "ple" will be highlighted. Use it in combination with "Whole word" to search for words beginning with "exam" and finishing with "ple".
* Use wildcards: If this option is not selected, the tool will look for the exact sequence of letters you entered in the "Search for" field. If it is selected, you will be able to use '*' and '?' wildcards. '?' in the searched pattern is equivalent to any character. For instance, "sample" and "simple" will be highlighted if you look for "s?mple". '*' is equivalent to any sequence of characters, including no characters at all. It means that if you search for "exam*ple", every piece of text beginning with "exam" and finishing with "ple" will be highlighted. Use it in combination with "Whole word" to search for words beginning with "exam" and finishing with "ple".
*
Replace all: If it is selected when you press the "Replace" button, every occurrence of the searched pattern will be replaced with the content of the "Replace with" field. It is possible to activate this option only if the "Replace with" field is displayed.
* Replace all: If it is selected when you press the "Replace" button, every occurrence of the searched pattern will be replaced with the content of the "Replace with" field. It is possible to activate this option only if the "Replace with" field is displayed.
*
Search backwards: If this option is selected, the tool will highlight the previous occurrence of the searched pattern instead of the next occurrence when you press the "Search" button.
* Search backwards: If this option is selected, the tool will highlight the previous occurrence of the searched pattern instead of the next occurrence when you press the "Search" button.
'''Note''': If the search tool hits one end of the text, it will automatically continue from the other end. <br/>
{{note|If the search tool hits one end of the text, it will automatically continue from the other end. }}
{{seealso|<br/>
There are keyboard shortcuts and menu entries to launch searches without using the search tool directly. They are described the [[Search functionality|editor section]] of this help. }}
{{seealso|The [[Search functionality]] part of the EiffelStudio Editor section to learn keyboard shortcuts and menu entries to launch searches without using the search tool directly. }}

13
documentation/current/eiffelstudio/eiffelstudio-reference/browsing-tools/windows-tool/index.wiki
View File

@@ -1,10 +1,15 @@
[[Property:title|Windows tool]]
[[Property:weight|5]]
[[Property:uuid|57b14a4b-8694-12f6-06c8-24411e331559]]
* [[Windows tool: Introduction|Introduction]]
* [[Window list|Window list]]
* [[Window menu|Window menu]]
* [[Window related commands|Window related commands]]
The windows tool ( [[Image:windows-windows-icon]] ) gives a list of opened development windows.
[[Image:windows-tool]]
Its main component is the [[Window list|Window list]] .
It is also linked to the [[Window menu|Window menu]] menu.
[[Window related commands|Window related commands]] provide global management of windows.