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

Esempi:

Di seguito è riportato un esempio di 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"
         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 IBM Corporation 2000