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
      showScopeSection CDATA #IMPLIED
      enabled          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="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>

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


 Copyright IBM Corporation 2000, 2002. All Rights Reserved.