Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorteicher2004-01-19 16:24:30 +0000
committerteicher2004-01-19 16:24:30 +0000
commit0fe817cd0d1725bba7df3e05b8fadcc001f6c070 (patch)
tree0d6a17fdef3d3413e66cefbb3500c9374cd55a16 /org.eclipse.ui.editors/schema/markerAnnotationSpecification.exsd
parent00481c6a66c724b35e9159ac2b53b9b38ca2be5c (diff)
downloadeclipse.platform.text-0fe817cd0d1725bba7df3e05b8fadcc001f6c070.tar.gz
eclipse.platform.text-0fe817cd0d1725bba7df3e05b8fadcc001f6c070.tar.xz
eclipse.platform.text-0fe817cd0d1725bba7df3e05b8fadcc001f6c070.zip
PR 50119: [preferences][api] NPE from incorrectly specified markerAnnotationSpecification
- added comments to the markerAnnotationSpecification about required attributes - MarkerAnnotationPreferences checks that all required attributes are available before adding to the legacy list of Preferences - added to AnnotationPreference javadoc that all getters may return null
Diffstat (limited to 'org.eclipse.ui.editors/schema/markerAnnotationSpecification.exsd')
-rw-r--r--org.eclipse.ui.editors/schema/markerAnnotationSpecification.exsd10
1 files changed, 5 insertions, 5 deletions
diff --git a/org.eclipse.ui.editors/schema/markerAnnotationSpecification.exsd b/org.eclipse.ui.editors/schema/markerAnnotationSpecification.exsd
index ef5d7d89c..2614cc08f 100644
--- a/org.eclipse.ui.editors/schema/markerAnnotationSpecification.exsd
+++ b/org.eclipse.ui.editors/schema/markerAnnotationSpecification.exsd
@@ -6,7 +6,7 @@
<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 org.eclipse.ui.texteditor.MarkerAnnotationPreferences.
+ This extension point is used to define presentation properties of markers. Extensions provided for this extension point can be accessed using org.eclipse.ui.texteditor.AnnotationPreferenceLookup; using the older org.eclipse.ui.texteditor.MarkerAnnotationPreferences is not encouraged.
</documentation>
</annotation>
@@ -51,14 +51,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().
</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().
</documentation>
</annotation>
</attribute>
@@ -73,7 +73,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().
</documentation>
</annotation>
</attribute>
@@ -102,7 +102,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().
</documentation>
</annotation>
</attribute>

Back to the top