Marker Annotation Specification

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

Since: [Enter the first release in which this extension point appears.]

Description: This extension point is used to define presentation properties of markers in the Default Text Editor. Extensions provided for this extension point can be accessed using org.eclipse.ui.texteditor.MarkerAnnotationPreferences.

Configuration Markup:

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

Examples: [Enter extension point usage example here.]

API Information: [Enter API information here.]

Supplied Implementation: [Enter information about supplied implementation of this extension point.]

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