org.eclipse.ui.texteditor.IMarkerUpdater
. Oppdateringsstrategiene
kan registreres enten for en bestemt merketype, eller for alle merketyper. I det siste tilfellet ved å utelate
alle merketyper i utvidelsen.
<!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>
Dette eksempelet registrerer org.eclipse.jdt.internal.ui.search.JavaSearchMarkerUpdater som en merkeoppdaterer for alle merker av typen org.eclipse.search.searchmarker, inkludert alle avledede typer.
<extension point=
"org.eclipse.ui.editors.markerUpdaters"
>
<updater id=
"org.eclipse.ui.texteditor.BasicMarkerUpdater"
class=
"org.eclipse.ui.texteditor.BasicMarkerUpdater"
>
</updater>
</extension>
Dette eksempelet registrerer org.eclipse.ui.texteditor.BasicMarkerUpdater som en merkeoppdaterer uavhengig av typen merke.
Copyright (c) 2001, 2004 IBM Corporation and others.
All rights reserved. This program and the accompanying materials are made available under the terms of the Eclipse Public License v1.0 which accompanies this distribution, and is available at http://www.eclipse.org/legal/epl-v10.html