Pagine di ricerca
Identificativo: org.eclipse.search.searchPages
Descrizione: questo punto di estensione consente a un plug-in di registrare pagine di ricerca
per eseguire 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
showScopeSection CDATA #IMPLIED
enabled CDATA #IMPLIED
>
- id - un nome univoco che verrà utilizzato per identificare questa pagina di ricerca
-
label - un'etichetta traducibile che verrà utilizzata nella scheda della pagina di ricerca
-
class - un nome della classe che implementa org.eclipse.search.ui.ISearchPage.
Si consiglia di includere org.eclipse.jface.dialogs.DialogPage in una classe secondaria.
-
icon - un nome relativo dell'immagine che verrà utilizzata per tutte le risorse che corrispondono
alle estensioni specificate. Se omesso, la scheda della pagina della ricerca conterrà solo
un'etichetta.
-
sizeHint - un suggerimento per la dimensione iniziale della pagina. Questa è una stringa contenente la larghezza e l'altezza separate da una virgola (ad esempio. "50, 60"). Nel caso che questo suggerimento venga omesso, la
pagina non sarà più larga delle altre pagine.
-
tabPosition - un valore intero che definisce il punto, nell'insieme delle pagine, in cui la pagina viene sistemata. Il valore non definisce
la posizione assoluta ma quella relativa alle altre pagine. L'ordine delle pagine avviene nel modo seguente:
- se il tabPosition non è specificato per una pagina, viene utilizzato Integer.MAX_VALUE / 2
- la pagina con il valore più basso viene sistemata prima. Se i valori sono uguali, le pagine saranno ordinate alfabeticamente in base alle relative etichette
-
extensions - un elenco separato mediante virgole contenente le estensioni file su cui può operare la pagina della
ricerca. Ogni estensione deve includere anche un peso (0 corrisponde al peso minore) che abilita
l'infrastruttura di ricerca a localizzare la pagina più adatta. Il peso è separato dall'estensione mediante
due punti.
Se una pagina di ricerca può eseguire la ricerca su tutte le risorse possibili, è possibile utilizzare "*".
-
showScopeSection - se questo attributo è assente o è impostato su "false", la sezione di ambito non viene visualizzata nella finestra di dialogo della ricerca. Per visualizzare la sezione di ambito, l'attributo deve essere impostato su "true". Per aggiungere la propria pagina di ricerca e visualizzare la sezione di ambito, i plug-in devono aggiungere questo attributo a plugin.xml.
- enabled - se questo attributo è assente o impostato su "false", la pagina non viene visualizzata inizialmente nella finestra di dialogo della ricerca. La pagina può essere attivata dall'utente mediante il pulsante "Personalizza..." della finestra di dialogo della ricerca.
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"
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.