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
>
- point - identificativo completo del punto di estensione di
destinazione
- id - identificativo dell'istanza dell'estensione
- name - nome dell'istanza dell'estensione facoltativo
<!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)
>
- 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 - nome della classe. 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
il percorso assoluto ma quello relativo alle altre pagine. L'ordine delle pagine avviene nel modo seguente:
-
se nessuna pagina definisce la posizione della scheda, queste sono poste in
ordine alfabetico in base alle etichette
-
se tutte le pagine hanno una posizione della scheda specificata, la pagina con il
valore più basso viene posizionata per prima. Se i valori sono uguali, le
pagine saranno trattate come se i valori non fossero presenti (vedi caso 1).
-
se una sola pagina ha un valore specificato, questa viene posizionata 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 "*".
- 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 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.