Verfügbar seit: [Geben Sie das erste Release ein, in dem dieser Erweiterungspunkt verwendet wird.]
Beschreibung: An diesem Erweiterungspunkt werden Darstellungseigenschaften für Markierungen im Standardtexteditor definiert. Auf Erweiterungen, die für diesen Erweiterungspunkt zur Verfügung gestellt werden, kann unter Verwendung von"org.eclipse.ui.texteditor.MarkerAnnotationPreferences" zugegriffen werden.
Konfigurationsbefehle:
<!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)
>
API-Informationen: [Geben Sie hier API-Informationen ein.]
Bereitgestellte Implementierung: [Geben Sie hier Informationen zur bereitgestellten Implementierung für diesen Erweiterungspunkt ein.]