diff options
author | Dani Megert | 2004-01-20 11:24:35 +0000 |
---|---|---|
committer | Dani Megert | 2004-01-20 11:24:35 +0000 |
commit | 7323f8db219a6b4e95b54e5f6e39b9edb11896fd (patch) | |
tree | f9c2f6ebd971944574a2b4825818f191fa2d124f /org.eclipse.ui.editors/schema | |
parent | 794f0a313f5a39f1455870648ebde5d59311ce5e (diff) | |
download | eclipse.platform.text-7323f8db219a6b4e95b54e5f6e39b9edb11896fd.tar.gz eclipse.platform.text-7323f8db219a6b4e95b54e5f6e39b9edb11896fd.tar.xz eclipse.platform.text-7323f8db219a6b4e95b54e5f6e39b9edb11896fd.zip |
Changed documentation
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> |