org.eclipse.ui.texteditor.IMarkerUpdater
felületet. A frissítési stratégiák bejegyezhetők egy adott jelzőtípushoz
vagy az összes jelzőtípushoz. Az utóbbi a kiterjesztés összes
jelzőtípusának kihagyásával érhető el.
<!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>
Ez a példa jelzőfrissítőként bejegyzi az org.eclipse.jdt.internal.ui.search.JavaSearchMarkerUpdater elemet az összes org.eclipse.search.searchmarker típusú jelzőhöz, a származtatott típusokat is beleértbe.
<extension point=
"org.eclipse.ui.editors.markerUpdaters"
>
<updater id=
"org.eclipse.ui.texteditor.BasicMarkerUpdater"
class=
"org.eclipse.ui.texteditor.BasicMarkerUpdater"
>
</updater>
</extension>
A példa a jelző típusától függetlenül bejegyzi az org.eclipse.ui.texteditor.BasicMarkerUpdater elemet jelzőfrissítőként.
Copyright (c) 2001, 2004 IBM Corporation és mások.
Minden jog fenntartva. Jelen program és annak kísérőanyagai a csomaghoz
tartozó, illetve a
http://www.eclipse.org/legal/epl-v10.html
címen is elérhető Eclipse Public License 1.0 verziójának hatálya alatt lettek
közzétéve.