Pages de recherche
Identificateur : org.eclipse.search.searchPages
Description : ce point d'extension permet à un plug-in
d'enregistrer des pages de recherche pour les besoins de recherches
spécialisées. Lorsque l'action de recherche est exécutée sur une ressource,
l'infrastructure de recherche localise la page de recherche la plus spécifique
à cette ressource.
Marques de configuration :
<!ELEMENT extension (page*)>
<!ATTLIST extension
point CDATA #REQUIRED
id CDATA #IMPLIED
name CDATA #IMPLIED
>
- point - identificateur qualifié complet du point d'extension
cible.
- id - identificateur facultatif de l'instance d'extension.
- name - nom facultatif de l'instance d'extension.
<!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 est le nom unique qui sera utilisé pour identifier
cette page de recherche.
- label est le libellé traduisible qui sera utilisé dans l'onglet
de la page de recherche.
- class - nom de la classe. Nous vous recommandons de sous-classer org.eclipse.jface.dialogs.DialogPage.
- icon - Nom relatif de l'image qui sera utilisée pour toutes les ressources
qui correspondent aux extensions spécifiées.
S'il est omis, l'onglet de la page
de recherche contiendra uniquement un libellé.
- sizeHint est la taille initiale préconisée pour la page. Il
s'agit d'une chaîne contenant la largeur et la hauteur séparées par une
virgule (par exemple "50, 60"). Si cet
attribut n'est pas spécifié, la page ne sera pas plus grande que les autres pages.
- tabPosition - Entier définissant où la page doit être
placée dans le bloc-notes. La position définie est relative, c'est-à-dire spécifiée par rapport
à la position des autres pages. Le classement des pages est réalisé comme suit :
-
si aucune page ne définit la position des onglets, ils sont classés par
ordre alphabétique en fonction de leur intitulé
-
si les deux pages spécifient la position des onglets, la page possédant la
plus petit valeur est insérée en premier. Si les valeurs sont identiques,
les pages sont traitées comme si les valeurs n'existaient pas (voir 1.)
-
si la valeur n'est spécifiée que pour une page, celle-ci est insérée en
premier
- extensions - Liste d'extensions de fichier (séparées par des virgules) sur lesquelles
la page de recherche peut agir. Chaque extension doit également inclure un poids (0 étant le poids
le plus faible) afin de permettre à l'infrastructure de recherche de trouver la page qui
convient le mieux. Le poids est séparé de l'extension par un signe deux-points.
Si une page de recherche peut chercher toutes les ressources possibles,
"*" peut être utilisé.
- showScopeSection - Si l'attribut est manquant ou a la valeur
"false", la section d'étendue n'apparaît pas dans la boîte de dialogue
Recherche.
Pour que cette section soit visible, l'attribut doit avoir la valeur
"true".
Les
plug-in qui ajoutent leur propre page de recherche et nécessitent
que la section d'étendue soit visible doivent faire figurer cet
attribut dans leur fichier plugin.xml.
- enabled - Si l'attribut est manquant ou a la valeur "false", la
page n'apparaît pas initialement dans la boîte de dialogue Recherche.
Elle peut être activée par l'utilisateur grâce au bouton
"Personnaliser..." ans cette boîte de dialogue.
Exemples : Voici un exemple de définition d'une
extension de page de recherche :
<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>
Implémentation fournie : L'infrastructure de recherche fournit
une page de recherche pour les recherches en texte intégral.