org.eclipse.ui.texteditor.IMarkerUpdater
e
possono essere registrate per un tipo di indicatore specifico o per tutti
i tipi. Per la seconda opzione occorre omettere qualsiasi tipo di indicatore
nell'estensione.
<!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>
Questo esempio registra org.eclipse.jdt.internal.ui.search.JavaSearchMarkerUpdater come aggiornatore degli indicatori per tutti gli indicatori di tipo org.eclipse.search.searchmarker, inclusi i tipi derivati.
<extension point=
"org.eclipse.ui.editors.markerUpdaters"
>
<updater id=
"org.eclipse.ui.texteditor.BasicMarkerUpdater"
class=
"org.eclipse.ui.texteditor.BasicMarkerUpdater"
>
</updater>
</extension>
In questo esempio viene registrato org.eclipse.ui.texteditor.BasicMarkerUpdater come aggiornatore di indicatori indipendente dal tipo dell'indicatore.
Copyright (c) 2001, 2004 IBM Corporation e altri.
Tutti i diritti riservati. Questo programma e il materiale di accompagnamento sono disponibili secondo i termini della Eclipse Public
License v1.0 che sono distribuiti con il prodotto, e disponibili all'indirizzo
http://www.eclipse.org/legal/epl-v10.html