Depuis : [Entrez la première version dans laquelle apparaît ce point d'extension.]
Description : Ce point d'extension permet de définir les propriétés de présentation des marqueurs dans l'éditeur de texte par défaut. Les extensions fournies pour ce point d'extension sont accessibles à l'aide de l'interface org.eclipse.ui.texteditor.MarkerAnnotationPreferences.
Marques de configuration :
<!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)
>
Informations d'API : [Entrez ici les informations d'API.]
Implémentation fournie : [Entrez des informations sur l'implémentation fournie pour ce point d'extension.]