Proveedores de imágenes de marcadores

org.eclipse.ui.ide.markerImageProviders

3.0 (originariamente añadido en el release 2.1 como org.eclipse.ui.markerImageProviders)

El punto de extensión markerImageProvider es el punto destinado a especificar las imágenes de los tipos de marcador en el conector que los define.

<!ELEMENT extension (imageprovider*)>

<!ATTLIST extension

point CDATA #REQUIRED

id    CDATA #IMPLIED

name  CDATA #IMPLIED>


<!ELEMENT imageprovider EMPTY>

<!ATTLIST imageprovider

id         CDATA #REQUIRED

markertype CDATA #REQUIRED

icon       CDATA #IMPLIED

class      CDATA #IMPLIED>


A continuación figura un ejemplo de las dos formas de proveedor de imágenes de marcador. En la primera, la imagen no cambia y se declara directamente. En la segunda, la imagen debe determinarse mediante una instancia de IMarkerImageProvider.

  

<extension point=

"org.eclipse.ui.ide.markerImageProviders"

>

<imageprovider markertype=

"org.eclipse.core.resources.taskmarker"

icon=

"taskicon.gif"

id=

"myPlugin.declarativeMarkerProvider"

>

</imageprovider>

<imageprovider markertype=

"org.eclipse.core.resources.problemmarker"

class=

"myPlugin.MyIMarkerImageProvider"

id=

"myPlugin.implementedMarkerProvider"

>

</imageprovider>

</extension>

[Especificar aquí la información sobre las API.]

[Especificar la información acerca de la implementación suministrada de este punto de extensión.]