diff options
| author | Dani Megert | 2006-11-28 07:49:03 +0000 |
|---|---|---|
| committer | Dani Megert | 2006-11-28 07:49:03 +0000 |
| commit | 1b04820fc687b35c1165a726b1c2a14277be641c (patch) | |
| tree | 593e608fd7da2bdcc26dfe11907ef8b6cc096875 /org.eclipse.ui.editors/schema | |
| parent | da7f7714cb1a5acb30cd60d7843b924d441fa017 (diff) | |
| download | eclipse.platform.text-1b04820fc687b35c1165a726b1c2a14277be641c.tar.gz eclipse.platform.text-1b04820fc687b35c1165a726b1c2a14277be641c.tar.xz eclipse.platform.text-1b04820fc687b35c1165a726b1c2a14277be641c.zip | |
Fixed bug 165692: [doc] annotationType uses name instead of IDv20061128-0800
Diffstat (limited to 'org.eclipse.ui.editors/schema')
| -rw-r--r-- | org.eclipse.ui.editors/schema/annotationTypes.exsd | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/org.eclipse.ui.editors/schema/annotationTypes.exsd b/org.eclipse.ui.editors/schema/annotationTypes.exsd index 6df88cc494f..5309f238133 100644 --- a/org.eclipse.ui.editors/schema/annotationTypes.exsd +++ b/org.eclipse.ui.editors/schema/annotationTypes.exsd @@ -56,7 +56,7 @@ Some annotations serve as the UI counterpart of markers (see <code>org.ecl <attribute name="name" type="string" use="required">
<annotation>
<documentation>
- The unique name of this annotation type.
+ The unique name of this annotation type. This is used whenever an annotation type is referenced, e.g. when specifying an <code>org.eclipse.ui.editors.markerAnnotationSpecification</code>.
</documentation>
</annotation>
</attribute>
|