diff options
author | teicher | 2004-01-21 15:51:50 +0000 |
---|---|---|
committer | teicher | 2004-01-21 15:51:50 +0000 |
commit | d997f57e96ec6f8a9a7d5e99f2b1f1dfa450aaab (patch) | |
tree | a6b6e46e9fa37e749b59a11b22e0c01986bca804 /org.eclipse.ui.editors | |
parent | a36882d4f8ed0a23c6589eb30a77b9c6da3fde0a (diff) | |
download | eclipse.platform.text-d997f57e96ec6f8a9a7d5e99f2b1f1dfa450aaab.tar.gz eclipse.platform.text-d997f57e96ec6f8a9a7d5e99f2b1f1dfa450aaab.tar.xz eclipse.platform.text-d997f57e96ec6f8a9a7d5e99f2b1f1dfa450aaab.zip |
added comment about required attributes after clarification
Diffstat (limited to 'org.eclipse.ui.editors')
-rw-r--r-- | org.eclipse.ui.editors/schema/markerAnnotationSpecification.exsd | 23 |
1 files changed, 17 insertions, 6 deletions
diff --git a/org.eclipse.ui.editors/schema/markerAnnotationSpecification.exsd b/org.eclipse.ui.editors/schema/markerAnnotationSpecification.exsd index 2023bf2ad9d..680ca138f46 100644 --- a/org.eclipse.ui.editors/schema/markerAnnotationSpecification.exsd +++ b/org.eclipse.ui.editors/schema/markerAnnotationSpecification.exsd @@ -6,8 +6,19 @@ <meta.schema plugin="org.eclipse.ui.editors" id="markerAnnotationSpecification" name="Marker Annotation Specification"/> </appInfo> <documentation> - This extension point is used to define presentation properties of markers. Extensions provided for this extension point can be accessed using <samp>org.eclipse.ui.texteditor.MarkerAnnotationPreferences</samp>. - Use <samp>org.eclipse.ui.texteditor.AnnotationPreferenceLookup</samp> to get the annotation preference for a given annotation. + This extension point is used to define presentation properties of markers. Extensions provided for this extension point can be accessed using <samp>org.eclipse.ui.texteditor.MarkerAnnotationPreferences</samp>. Use <samp>org.eclipse.ui.texteditor.AnnotationPreferenceLookup</samp> to get the annotation preference for a given annotation. +<p> +Note that an extension will only be returned from <code>MarkerAnnotationPreferences.getAnnotationPreferences</code> (and thus included in the preference pages) if it contains the following four attributes in addition to the required <code>annotationType</code>: +<ul> + <li><code>colorPreferenceKey</code></li> + <li><code>colorPreferenceValue</code></li> + <li><code>overviewRulerPreferenceKey</code></li> + <li><code>textPreferenceKey</code></li> +</ul> +</p> +<p> +Annotation preference types that extend another annotation preference are allowed to overwrite attributes already defined in a parent preference specification, but these will not be accessible from the preference page. +</p> </documentation> </annotation> @@ -52,14 +63,14 @@ <attribute name="colorPreferenceKey" type="string"> <annotation> <documentation> - The color preference key must be provided by either the annotation specification itself or by its parent specification, otherwise it will not be included in the List returned from MarkerAnnotationPreferences.getAnnotationPreferences(). + The color preference key must be provided, otherwise this annotation type will not be included in the List returned from MarkerAnnotationPreferences.getAnnotationPreferences() and thus not show in the preferences. </documentation> </annotation> </attribute> <attribute name="overviewRulerPreferenceKey" type="string"> <annotation> <documentation> - The overview ruler preference key must be provided by either the annotation specification itself or by its parent specification, otherwise it will not be included in the List returned from MarkerAnnotationPreferences.getAnnotationPreferences(). + The overview ruler preference key must be provided, otherwise this annotation type will not be included in the List returned from MarkerAnnotationPreferences.getAnnotationPreferences() and thus not show in the preferences. </documentation> </annotation> </attribute> @@ -74,7 +85,7 @@ since: 3.0 <attribute name="textPreferenceKey" type="string"> <annotation> <documentation> - The text preference key must be provided by either the annotation specification itself or by its parent specification, otherwise it will not be included in the List returned from MarkerAnnotationPreferences.getAnnotationPreferences(). + The text preference key must be provided, otherwise this annotation type will not be included in the List returned from MarkerAnnotationPreferences.getAnnotationPreferences() and thus not show in the preferences. </documentation> </annotation> </attribute> @@ -103,7 +114,7 @@ since: 3.0 <attribute name="colorPreferenceValue" type="string"> <annotation> <documentation> - The color preference value must be provided by either the annotation specification itself or by its parent specification, otherwise it will not be included in the List returned from MarkerAnnotationPreferences.getAnnotationPreferences(). + The color preference value must be provided, otherwise this annotation type will not be included in the List returned from MarkerAnnotationPreferences.getAnnotationPreferences() and thus not show in the preferences. </documentation> </annotation> </attribute> |