Pages de recherche
Identificateur :
org.eclipse.search.searchPages
Description :
Ce point
d'extension permet à un plug-in d'enregistrer des pages de recherche
pour des 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
searchViewHelpContextId CDATA #IMPLIED
showScopeSection (true | false)
enabled (true | false)
canSearchEnclosingProjects (true | false) >
- 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 de la classe implémentant org.eclipse.search.ui.ISearchPage. 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 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é.
- searchViewHelpContextId - ID de contexte d'aide facultatif
de la vue Recherche affichant les résultats de cette page. Si cet
attribut est manquant, l'ID de contexte d'aide par défaut
org.eclipse.search.search_view_context est employé.
- 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-ins 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.
- canSearchEnclosingProjects - si cet attribut est manquant
ou possède la valeur false, la portée de recherche "Projets
conteneur" n'apparaît pas dans la partie réservée de la boîte de
dialogue de recherche.
Si l'attribut showScopeSection est manquant ou
possède la valeur false, il est ignoré.
Exemples :
L'exemple
ci-dessous illustre la 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>
Informations d'API :
La
classe contribuée doit implémenter org.eclipse.search.ui.ISearchPage
Implémentation fournie :
L'infrastructure
de recherche fournit une page pour la recherche en texte intégral.
Copyright (c) 2001, 2004 IBM Corporation and others.
All rights reserved. Ce programme et les produits associés sont
distribués sous licence publique Eclipse v1.0 et disponibles à
l'adresse suivante :
http://www.eclipse.org/legal/epl-v10.html