Spécification des annotations de marqueurs

Identificateur : org.eclipse.ui.markerAnnotationSpecification

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

Exemples : [Entrez ici un exemple d'utilisation du point d'extension.]

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

Copyright (c) 2000, 2003 IBM Corporation and others. All Rights Reserved.