Aide sur les marqueurs

Identificateur : org.eclipse.ui.markerHelp

Description : Ce point d'extension est utilisé pour associer un ID de contexte d'aide à un type spécifique de marqueur (d'un certain type ou possédant des valeurs d'attributs déterminées).

Depuis : Version 2.0

Marques de configuration :

   <!ELEMENT markerHelp (attribute)*>
   <!ATTLIST markerHelp
      markerType       CDATA #OPTIONAL
      helpContextId    CDATA #REQUIRED
   >

   <!ELEMENT attribute EMPTY>
   <!ATTLIST attribute
      name         CDATA #REQUIRED
      value        CDATA #REQUIRED
   > Exemples :

Voici un exemple d'extension d'aide de marqueur (notez le sous-élément et le mode d'utilisation des attributs) :

<extension point="org.eclipse.ui.markerHelp">
   <markerHelp
      markerType="org.eclipse.ui.examples.readmetool.readmemarker"
      helpContextId="org.eclipse.ui.examples.readmetool.marker_example1_context">
      <attribute
         name="org.eclipse.ui.examples.readmetool.id"
         value= "1234">
      </attribute>
   </markerHelp>
</extension>

Dans cet exemple, un ID de contexte d'aide est associé aux marqueurs de type org.eclipse.ui.examples.readmetool.readmemarker dont l'attribut org.eclipse.ui.examples.readmetool.id possède la valeur 1234.

Informations d'API : il revient au développeur d'assurer qu'un seul ID de contexte d'aide est fourni pour un marqueur donné. Si plusieurs ID sont fournis pour un type de marqueur, le plan de travail ne définit pas celui qui sera retourné. Il définit toutefois que l'ID de contexte le plus spécifique sera toujours retourné pour un marqueur donné. Ainsi, un ID de contexte associé à trois valeurs d'attribut sera retourné avant un autre associé à seulement deux.

Copyright IBM Corporation and others 2000, 2002.