diff options
Diffstat (limited to 'org.eclipse.ui.editors/schema/markerAnnotationSpecification.exsd')
| -rw-r--r-- | org.eclipse.ui.editors/schema/markerAnnotationSpecification.exsd | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/org.eclipse.ui.editors/schema/markerAnnotationSpecification.exsd b/org.eclipse.ui.editors/schema/markerAnnotationSpecification.exsd index 4c4b64abb..aa551ebc6 100644 --- a/org.eclipse.ui.editors/schema/markerAnnotationSpecification.exsd +++ b/org.eclipse.ui.editors/schema/markerAnnotationSpecification.exsd @@ -269,6 +269,7 @@ since: 3.0 <documentation> the default value for the "show in text" decoration style since: 3.0 +DASHED_BOX: since 3.3 </documentation> </annotation> <simpleType> @@ -277,6 +278,8 @@ since: 3.0 </enumeration> <enumeration value="BOX"> </enumeration> + <enumeration value="DASHED_BOX"> + </enumeration> <enumeration value="UNDERLINE"> </enumeration> <enumeration value="IBEAM"> |