Differences
This shows you the differences between two versions of the page.
| Next revision | Previous revision | ||
| plugins:search-results [2014/02/09 01:50] – external edit 127.0.0.1 | plugins:search-results [2018/01/10 20:36] (current) – external edit 127.0.0.1 | ||
|---|---|---|---|
| Line 3: | Line 3: | ||
| If you execute cumulative searches (as //Find All// or Replace All) and select as //Result Output// -> //Find Window//, results of the search will be shown in tree list form (of course if search plug-in enabled). | If you execute cumulative searches (as //Find All// or Replace All) and select as //Result Output// -> //Find Window//, results of the search will be shown in tree list form (of course if search plug-in enabled). | ||
| - | Results are grouped by search instance and files. Matches are marked in extracted matching lines by underline font. | + | Results are grouped by search instance and files. Matches are marked in extracted matching lines by the underline font. |
| The list is editable and you can delete that results you are not interested. Or, alternatively you can copy some matches, you would like to keep for further processing. | The list is editable and you can delete that results you are not interested. Or, alternatively you can copy some matches, you would like to keep for further processing. | ||
| Line 24: | Line 24: | ||
| ==== Visited ==== | ==== Visited ==== | ||
| - | HippoEDIT remembers already visited matches (you have navigated to match already with double click or ToolBar/ | + | HippoEDIT remembers already visited matches (you have navigated to match already with double click or ToolBar/ |
| This feature can be turned off in settings. | This feature can be turned off in settings. | ||
| Line 37: | Line 37: | ||
| {{: | {{: | ||
| - | Search Results it is a plug-in (built-in, but plug-in). So as any plug-in it can be disabled, and than will not be loaded, in plug-in list main menu // | + | Search Results it is a plug-in (built-in, but plug-in). So as any plug-in it can be disabled, and then will not be loaded, in plug-in list main menu // |
| You can configure: | You can configure: | ||
| - | * How many search results should be stored (in session). | + | * How many search results should be stored (in session). |
| * How many search results should be saved between session. Default **None**. | * How many search results should be saved between session. Default **None**. | ||
| * //Mark Visited Matches// - if visited matches shall be visualized differently. | * //Mark Visited Matches// - if visited matches shall be visualized differently. | ||
| + | |||
| + | |||
| + | |||
| #plugin | #plugin | ||