diff options
Diffstat (limited to 'org.eclipse.ui.editors/schema')
| -rw-r--r-- | org.eclipse.ui.editors/schema/markerAnnotationSpecification.exsd | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/org.eclipse.ui.editors/schema/markerAnnotationSpecification.exsd b/org.eclipse.ui.editors/schema/markerAnnotationSpecification.exsd index 2614cc08fc3..2023bf2ad9d 100644 --- a/org.eclipse.ui.editors/schema/markerAnnotationSpecification.exsd +++ b/org.eclipse.ui.editors/schema/markerAnnotationSpecification.exsd @@ -6,7 +6,8 @@ <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.AnnotationPreferenceLookup; using the older org.eclipse.ui.texteditor.MarkerAnnotationPreferences is not encouraged. + 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. </documentation> </annotation> |