Pages de recherche

org.eclipse.search.searchPages

Ce point d'extension permet à un plug-in d'enregistrer des pages de recherche pour des recherches spécialisées. Lorsque l'action de recherche est exécutée sur une ressource, l'infrastructure de recherche localise la page de recherche la plus spécifique à cette ressource.

<!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) >


L'exemple ci-dessous illustre la définition d'une extension de page de recherche :

   

<extension point=

"org.eclipse.search.searchPages"

>

<page id=

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

label=

"Text Search"

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 classe contribuée doit implémenter org.eclipse.search.ui.ISearchPage

L'infrastructure de recherche fournit une page pour la recherche en texte intégral.