Pages de recherche

Identificateur : org.eclipse.search.searchPages

Description : Ce point d'extension permet à un plug-in d'enregistrer des pages de recherche pour les besoins de 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.

Marques de configuration :

   <!ELEMENT page EMPTY>
   <!ATTLIST page
      id          CDATA #REQUIRED
      label       CDATA #REQUIRED
      class       CDATA #REQUIRED
      icon        CDATA #IMPLIED
      sizeHint    CDATA #REQUIRED
      tabPosition CDATA #IMPLIED
      extensions  CDATA #IMPLIED

Exemples :

Voici un exemple de définition d'une extension de page de recherche :

   <extension point="org.eclipse.search.searchPages">
      <page
         id="org.eclipse.search.ui.text.TextSearchPage"
         label="Recherche de texte"
         icon="icons/full/obj16/tsearch_pref.gif"
         sizeHint="250,160"
         tabPosition="1"
         extensions="*:1"
         class="org.eclipse.search.ui.text.TextSearchPage"
      </page>
   </extension>

Implémentation fournie : L'infrastructure de recherche fournit une page de recherche pour les recherches en texte intégral.

Copyright IBM Corporation 2000