Pagine di ricerca

Identificativo: org.eclipse.search.searchPages

Descrizione: questo punto di estensione consente a un plug-in di registrare pagine di ricerca per ricerche specializzate. Quando l'azione di ricerca viene eseguita su una risorsa, l'infrastruttura della ricerca localizza la pagina di ricerca registrata più specifica.

Tag di configurazione:

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

Esempi: di seguito è riportato un esempio di una definizione di estensione della pagina di ricerca:

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

Implementazione fornita: l'infrastruttura di ricerca fornisce una pagina di ricerca per ricerche full-text.

Copyright (c) 2000, 2003 IBM Corporation e altri. Tutti i diritti riservati.