org.eclipse.ui.texteditor.IMarkerUpdater
. Elles
peuvent être enregistrées pour un type déterminé de marqueur ou pour
tous les types de marqueurs. Dans le second cas, il s'agit de ne
préciser aucun type dans l'extension.
<!ELEMENT extension (updater*)>
<!ATTLIST extension
point CDATA #REQUIRED
id CDATA #IMPLIED
name CDATA #IMPLIED>
<!ELEMENT updater EMPTY>
<!ATTLIST updater
id CDATA #REQUIRED
markerType CDATA #IMPLIED
class CDATA #REQUIRED>
<extension point=
"org.eclipse.ui.editors.markerUpdaters"
>
<updater id=
"org.eclipse.jdt.ui.markerUpdaters.JavaSearchMarkerUpdater"
class=
"org.eclipse.jdt.internal.ui.search.JavaSearchMarkerUpdater"
markerType=
"org.eclipse.search.searchmarker"
>
</updater>
</extension>
Cet exemple enregistre org.eclipse.jdt.internal.ui.search.JavaSearchMarkerUpdater comme programme de mise à jour pour tous les marqueurs de type org.eclipse.search.searchmarker et ses types dérivés.
<extension point=
"org.eclipse.ui.editors.markerUpdaters"
>
<updater id=
"org.eclipse.ui.texteditor.BasicMarkerUpdater"
class=
"org.eclipse.ui.texteditor.BasicMarkerUpdater"
>
</updater>
</extension>
Cet exemple enregistre org.eclipse.ui.texteditor.BasicMarkerUpdater comme programme de mise à jour indépendant du type de marqueur.
Copyright (c) 2001, 2004 IBM Corporation and others.
All rights reserved. Ce programme et les produits associés sont
distribués sous licence v1.0 et disponibles à
l'adresse suivante :
http://www.eclipse.org/legal/epl-v10.html