Especificación de anotaciones de marcador

Identificador: org.eclipse.ui.workbench.texteditor.markerAnnotationSpecification

A partir del: [Especificar el primer release en el que aparece este punto de extensión.]

Descripción: este punto de extensión permite definir las propiedades de presentación de los marcadores en el editor de texto por omisión. Puede accederse a las extensiones suministradas para este punto de extensión por medio de org.eclipse.ui.texteditor.MarkerAnnotationPreferences.

Códigos XML de configuración:

   <!ELEMENT extension (specification)>

   <!ATTLIST extension
     point CDATA #REQUIRED
     id    CDATA #IMPLIED
     name  CDATA #IMPLIED
   >

   <!ELEMENT specification EMPTY>

   <!ATTLIST specification
     markerType                   CDATA #REQUIRED
     colorPreferenceKey           CDATA #REQUIRED
     overviewRulerPreferenceKey   CDATA #REQUIRED
     textPreferenceKey            CDATA #REQUIRED
      label                        CDATA #REQUIRED
     markerSeverity               (0|1|2)
     colorPreferenceValue         CDATA #IMPLIED
     presentationLayer            CDATA #IMPLIED
     overviewRulerPreferenceValue (true | false)
     textPreferenceValue          (true | false)
     annotationType               CDATA #REQUIRED
     contributesToHeader          (true | false)
   >

Ejemplos: [Especificar aquí el ejemplo de utilización del punto de extensión.]

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

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

Copyright (c) 2000, 2003 IBM Corporation y otros. Reservados todos los derechos.