Aide et résolution des marqueurs

Dans la section Marqueurs de ressources, nous avons vu comment les plug-in peuvent définir des types de marqueurs spécialisés afin d'annoter des ressources avec des informations. L'exemple de l'outil readme définit ses propres marqueurs pour présenter deux extensions de plan de travail liées aux marqueurs : aide sur les marqueurs et résolutions de marqueurs. La définition du marqueur se trouve dans les marques du manifeste du plug-in du readme :

<extension id="readmemarker" point="org.eclipse.core.resources.markers" name="%ReadmeMarker.name">
	<super type="org.eclipse.core.resources.taskmarker"/>
	<super type="org.eclipse.core.resources.textmarker"/>
	<persistent value="true"/>
	<attribute name="org.eclipse.ui.examples.readmetool.id"/>
	<attribute name="org.eclipse.ui.examples.readmetool.level"/>
	<attribute name="org.eclipse.ui.examples.readmetool.department"/>
	<attribute name="org.eclipse.ui.examples.readmetool.code"/>
	<attribute name="org.eclipse.ui.examples.readmetool.language"/>
</extension>   

L'outil définit un marqueur héritant du marqueur de texte et de celui de tâche de la plate-forme. Il définit également des attributs nommés pour le marqueur.  Les attributs du marqueur peuvent être définis et demandés.

Sachant que le nouveau marqueur de readme est un type de marqueur de texte, il hérite des attributs du marqueur de texte. ces derniers comportent l'emplacement du caractère du marqueur.

Des marqueurs peuvent être ajoutés à un fichier .readme à l'aide du menu en incrustation de l'éditeur du readme.  (Les actions de ce menu sont ajoutées de façon dynamique dans ReadmeTextEditor.editorContextMenuAboutToShow(IMenuManager parentMenu)). Après cela, les marqueurs apparaissent dans le côté gauche de l'éditeur et dans la vue de tâches.

Editeur readme avec marqueurs readme sur la règle de gauche