Da: [Immettere il primo rilascio in cui appare questo punto di estensione].
Descrizione: questo punto di estensione viene utilizzato per definire le proprietà di presentazione degli indicatori nell'editor di testi predefinito. Si può accedere alle estensioni fornite per questo punto di estensione utilizzando org.eclipse.ui.texteditor.MarkerAnnotationPreferences.
Tag di configurazione:
<!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)
>
Informazioni API: [Immettere in questo spazio le informazioni API].
Implementazione fornita: [Immettere informazioni sull'implementazione fornita di questo punto di estensione].