Páginas de búsqueda

org.eclipse.search.searchPages

Este punto de extensión permite que un conector registre páginas de búsqueda para realizar búsquedas especializadas. Cuando se realiza la acción de búsqueda en un recurso, la infraestructura de búsqueda localiza la página de búsqueda registrada más adecuada para ella.

<!ELEMENT extension (page*)>

<!ATTLIST extension

point CDATA #REQUIRED

id    CDATA #IMPLIED

name  CDATA #IMPLIED>


<!ELEMENT page EMPTY>

<!ATTLIST page

id                         CDATA #REQUIRED

label                      CDATA #REQUIRED

class                      CDATA #REQUIRED

icon                       CDATA #IMPLIED

sizeHint                   CDATA #IMPLIED

tabPosition                CDATA #IMPLIED

extensions                 CDATA #IMPLIED

searchViewHelpContextId    CDATA #IMPLIED

showScopeSection           (true | false)

enabled                    (true | false)

canSearchEnclosingProjects (true | false) >


A continuación figura un ejemplo de definición extensión de página de búsqueda:

   

<extension point=

"org.eclipse.search.searchPages"

>

<page id=

"org.eclipse.search.ui.text.TextSearchPage"

label=

"Búsqueda de texto"

icon=

"icons/full/obj16/tsearch_pref.gif"

sizeHint=

"250,160"

tabPosition=

"1"

extensions=

"*:1"

showScopeSection=

"true"

class=

"org.eclipse.search.ui.text.TextSearchPage"

>

</page>

</extension>

La clase añadida debe implementar org.eclipse.search.ui.ISearchPage

La infraestructura de búsqueda proporciona una página de búsqueda para buscar en la totalidad del texto.