plugins:search-results

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Next revision
Previous revision
plugins:search-results [2014/02/09 01:50] – external edit 127.0.0.1plugins: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/Menu command). This helps you to find out line you have already "processed".+HippoEDIT remembers already visited matches (you have navigated to match already with double click or ToolBar/Menu command). This helps you to find out the line you have already "processed".
  
 This feature can be turned off in settings.  This feature can be turned off in settings. 
Line 37: Line 37:
 {{:plugins:search_results_options.png?nolink|Search Results settings}} {{:plugins:search_results_options.png?nolink|Search Results settings}}
  
-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 //Tools->Plugins//. And as for other plug-ins it setting are located under //Plug-ins// node. +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 //Tools->Plugins//. And as for other plug-ins it setting are located under //Plug-ins// node. 
  
 You can configure: You can configure:
-  * How many search results should be stored (in session). Default is **1**.+  * How many search results should be stored (in session). The default is **1**.
   * 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