diff options
Diffstat (limited to 'org.eclipse.ui.editors/schema/markerAnnotationSpecification.exsd')
| -rw-r--r-- | org.eclipse.ui.editors/schema/markerAnnotationSpecification.exsd | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/org.eclipse.ui.editors/schema/markerAnnotationSpecification.exsd b/org.eclipse.ui.editors/schema/markerAnnotationSpecification.exsd index 4404b0d65f2..1d248b16612 100644 --- a/org.eclipse.ui.editors/schema/markerAnnotationSpecification.exsd +++ b/org.eclipse.ui.editors/schema/markerAnnotationSpecification.exsd @@ -30,21 +30,21 @@ Annotation preference types that extend another annotation preference are allowe <attribute name="point" type="string" use="required"> <annotation> <documentation> - + a fully qualified identifier of the target extension point </documentation> </annotation> </attribute> <attribute name="id" type="string"> <annotation> <documentation> - + an optional identifier of the extension instance </documentation> </annotation> </attribute> <attribute name="name" type="string"> <annotation> <documentation> - + an optional name of the extension instance </documentation> <appInfo> <meta.attribute translatable="true"/> |