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)
>
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.]