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 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
     showScopeSection (true | false)
     enabled          (true | false)
   >

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 (c) 2000, 2003 IBM Corporation and others. All Rights Reserved.