Specifica di annotazioni di indicatore

Identificativo: org.eclipse.ui.workbench.texteditor.markerAnnotationSpecification

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

Esempi: [Immettere in questo spazio un esempio di utilizzo del punto di estensione].

Informazioni API: [Immettere in questo spazio le informazioni API].

Implementazione fornita: [Immettere informazioni sull'implementazione fornita di questo punto di estensione].

Copyright (c) 2000, 2003 IBM Corporation e altri. Tutti i diritti riservati.