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
-
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.jface.dialogs.IDialogPage.
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. È rappresentato da 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 nessuna pagina definisce la posizione di scheda, verranno ordinate alfabeticamente in base alle rispettive etichette
- se entrambe le pagine hanno la posizione di scheda specificata, la pagina con il valore più basso verrà sistemata prima. Se i valori sono uguali, le pagine
verranno trattate come se i valori non esistessero (vedere il punto 1).
- se solo una pagina ha il valore specificato, essa verrà sistemata per prima
-
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ò effettuare la ricerca su tutte le risorse possibili, è possibile utilizzare "*".
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.