diff options
| author | Dani Megert | 2003-11-06 16:19:39 +0000 |
|---|---|---|
| committer | Dani Megert | 2003-11-06 16:19:39 +0000 |
| commit | c2621bbcc5bd488dac55f6597a40400cbd0caf4f (patch) | |
| tree | 5ed051bf6817cd28fcb84b1e5725237967b45e4b /org.eclipse.ui.editors/schema | |
| parent | 5f7adf0a4a357342c2d9a317cacd967c832d1a04 (diff) | |
| download | eclipse.platform.text-c2621bbcc5bd488dac55f6597a40400cbd0caf4f.tar.gz eclipse.platform.text-c2621bbcc5bd488dac55f6597a40400cbd0caf4f.tar.xz eclipse.platform.text-c2621bbcc5bd488dac55f6597a40400cbd0caf4f.zip | |
RCP work
Diffstat (limited to 'org.eclipse.ui.editors/schema')
| -rw-r--r-- | org.eclipse.ui.editors/schema/markerAnnotationSpecification.exsd | 22 |
1 files changed, 6 insertions, 16 deletions
diff --git a/org.eclipse.ui.editors/schema/markerAnnotationSpecification.exsd b/org.eclipse.ui.editors/schema/markerAnnotationSpecification.exsd index 192ecf245cb..2deb6c13341 100644 --- a/org.eclipse.ui.editors/schema/markerAnnotationSpecification.exsd +++ b/org.eclipse.ui.editors/schema/markerAnnotationSpecification.exsd @@ -1,9 +1,9 @@ <?xml version='1.0' encoding='UTF-8'?> <!-- Schema file written by PDE --> -<schema targetNamespace="org.eclipse.ui.workbench.texteditor"> +<schema targetNamespace="org.eclipse.ui.editors"> <annotation> <appInfo> - <meta.schema plugin="org.eclipse.ui.workbench.texteditor" id="markerAnnotationSpecification" name="Marker Annotation Specification"/> + <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.MarkerAnnotationPreferences. @@ -80,7 +80,10 @@ since: 3.0 <attribute name="label" type="string" use="required"> <annotation> <documentation> - + + </documentation> + </annotation> + </attribute> <attribute name="highlightPreferenceKey" type="string"> <annotation> <documentation> @@ -89,10 +92,6 @@ since: 3.0 </documentation> </annotation> </attribute> - - </documentation> - </annotation> - </attribute> <attribute name="markerSeverity"> <annotation> <documentation> @@ -146,7 +145,6 @@ since: 3.0 </documentation> </annotation> </attribute> - <attribute name="highlightPreferenceValue" type="boolean"> <annotation> <documentation> @@ -155,7 +153,6 @@ since: 3.0 </documentation> </annotation> </attribute> - <attribute name="annotationType" type="string" use="required"> <annotation> <documentation> @@ -163,7 +160,6 @@ since: 3.0 </documentation> </annotation> </attribute> - <attribute name="contributesToHeader" type="boolean"> <annotation> <documentation> @@ -171,7 +167,6 @@ since: 3.0 </documentation> </annotation> </attribute> - <attribute name="showInNextPrevDropdownToolbarActionKey" type="string"> <annotation> <documentation> @@ -180,7 +175,6 @@ since: 3.0 </documentation> </annotation> </attribute> - <attribute name="showInNextPrevDropdownToolbarAction" type="boolean"> <annotation> <documentation> @@ -189,7 +183,6 @@ since: 3.0 </documentation> </annotation> </attribute> - <attribute name="isGoToNextNavigationTargetKey" type="string"> <annotation> <documentation> @@ -198,7 +191,6 @@ since: 3.0 </documentation> </annotation> </attribute> - <attribute name="isGoToNextNavigationTarget" type="boolean"> <annotation> <documentation> @@ -207,7 +199,6 @@ since: 3.0 </documentation> </annotation> </attribute> - <attribute name="isGoToPreviousNavigationTargetKey" type="string"> <annotation> <documentation> @@ -216,7 +207,6 @@ since: 3.0 </documentation> </annotation> </attribute> - <attribute name="isGoToPreviousNavigationTarget" type="boolean"> <annotation> <documentation> |