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 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 - Nom unique qui sera utilisé pour identifier cette page de recherche.
-
label - Libellé traduisible qui sera utilisé dans l'onglet de la page de recherche.
-
class - Nom d'une classe qui implémente org.eclipse.jface.dialogs.IDialogPage.
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 - Taille initiale préconisée pour la page. Il s'agit d'une chaîne
contenant les valeurs de largeur et de 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 des pages ne comporte de définition explicite de l'attribut tabPosition, elles
sont classées alphabétiquement en fonction de leur libellé.
- Si deux pages comportent une définition explicite de l'attribut tabPosition, celle qui
possède la plus petite valeur est insérée en premier. Si elles possèdent la même valeur,
elles sont traitées comme si leur attribut tabPosition était omis (voir le point 1).
- Si une seule page comporte une définition explicite de l'attribut tabPosition, elle est
insérée avant toutes les autres.
-
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 agir sur toutes les ressources possibles, vous pouvez
utiliser le caractère générique "*".
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="Recherche de texte"
icon="icons/full/obj16/tsearch_pref.gif"
sizeHint="250,160"
tabPosition="1"
extensions="*:1"
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.