Skip to main content
summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDani Megert2005-04-15 13:40:48 +0000
committerDani Megert2005-04-15 13:40:48 +0000
commit09ad0b177c7c05c039bd42a7d66131aa052d2dfe (patch)
treeec150f5cbe5e987fefd5ce2cd984a43983d11a8b /org.eclipse.ui.editors/schema
parent29659511796c3c2052e2d7d22aa731ce2dddf268 (diff)
downloadeclipse.platform.text-09ad0b177c7c05c039bd42a7d66131aa052d2dfe.tar.gz
eclipse.platform.text-09ad0b177c7c05c039bd42a7d66131aa052d2dfe.tar.xz
eclipse.platform.text-09ad0b177c7c05c039bd42a7d66131aa052d2dfe.zip
Fixed mixed line delimiters
Diffstat (limited to 'org.eclipse.ui.editors/schema')
-rw-r--r--org.eclipse.ui.editors/schema/annotationTypes.exsd56
-rw-r--r--org.eclipse.ui.editors/schema/documentProviders.exsd48
-rw-r--r--org.eclipse.ui.editors/schema/markerUpdaters.exsd48
3 files changed, 76 insertions, 76 deletions
diff --git a/org.eclipse.ui.editors/schema/annotationTypes.exsd b/org.eclipse.ui.editors/schema/annotationTypes.exsd
index daba880e94f..545eccbbf83 100644
--- a/org.eclipse.ui.editors/schema/annotationTypes.exsd
+++ b/org.eclipse.ui.editors/schema/annotationTypes.exsd
@@ -6,10 +6,10 @@
<meta.schema plugin="org.eclipse.ui.editors" id="annotationTypes" name="Annotation Types"/>
</appInfo>
<documentation>
- An Annotation is a piece of information attached to a certain region of a text document. New kinds of annotations may be defined using this extension point. Annotations are attached to documents via their annotation model and may be displayed in text editors and views.
-
-Annotation types form a hierarchy: an annotation type may refine another type by specifying it in its &lt;code&gt;super&lt;/code&gt; attribute.
-
+ An Annotation is a piece of information attached to a certain region of a text document. New kinds of annotations may be defined using this extension point. Annotations are attached to documents via their annotation model and may be displayed in text editors and views.
+
+Annotation types form a hierarchy: an annotation type may refine another type by specifying it in its &lt;code&gt;super&lt;/code&gt; attribute.
+
Some annotations serve as the UI counterpart of markers (see &lt;code&gt;org.eclipse.core.resources.IMarker&lt;/code&gt;), while others exist on their own without having a persistable form. The mapping between markers and annotation types is defined by the optional &lt;code&gt;markerType&lt;/code&gt; and &lt;code&gt;markerSeverity&lt;/code&gt; attributes.
</documentation>
</annotation>
@@ -108,29 +108,29 @@ Some annotations serve as the UI counterpart of markers (see &lt;code&gt;org.ecl
<meta.section type="examples"/>
</appInfo>
<documentation>
- This is an excerpt from the plugin.xml for JDT UI, which adds the java compiler error and warning annotations:
-&lt;pre&gt;
- &lt;extension
- point=&quot;org.eclipse.ui.editors.annotationTypes&quot;&gt;
- &lt;type
- name=&quot;org.eclipse.jdt.ui.error&quot;
- super=&quot;org.eclipse.ui.workbench.texteditor.error&quot;
- markerType=&quot;org.eclipse.jdt.core.problem&quot;
- markerSeverity=&quot;2&quot;&gt;
- &lt;/type&gt;
- &lt;type
- name=&quot;org.eclipse.jdt.ui.warning&quot;
- super=&quot;org.eclipse.ui.workbench.texteditor.warning&quot;
- markerType=&quot;org.eclipse.jdt.core.problem&quot;
- markerSeverity=&quot;1&quot;&gt;
- &lt;/type&gt;
- &lt;type
- name=&quot;org.eclipse.jdt.ui.info&quot;
- super=&quot;org.eclipse.ui.workbench.texteditor.info&quot;
- markerType=&quot;org.eclipse.jdt.core.problem&quot;
- markerSeverity=&quot;0&quot;&gt;
- &lt;/type&gt;
- &lt;/extension&gt;
+ This is an excerpt from the plugin.xml for JDT UI, which adds the java compiler error and warning annotations:
+&lt;pre&gt;
+ &lt;extension
+ point=&quot;org.eclipse.ui.editors.annotationTypes&quot;&gt;
+ &lt;type
+ name=&quot;org.eclipse.jdt.ui.error&quot;
+ super=&quot;org.eclipse.ui.workbench.texteditor.error&quot;
+ markerType=&quot;org.eclipse.jdt.core.problem&quot;
+ markerSeverity=&quot;2&quot;&gt;
+ &lt;/type&gt;
+ &lt;type
+ name=&quot;org.eclipse.jdt.ui.warning&quot;
+ super=&quot;org.eclipse.ui.workbench.texteditor.warning&quot;
+ markerType=&quot;org.eclipse.jdt.core.problem&quot;
+ markerSeverity=&quot;1&quot;&gt;
+ &lt;/type&gt;
+ &lt;type
+ name=&quot;org.eclipse.jdt.ui.info&quot;
+ super=&quot;org.eclipse.ui.workbench.texteditor.info&quot;
+ markerType=&quot;org.eclipse.jdt.core.problem&quot;
+ markerSeverity=&quot;0&quot;&gt;
+ &lt;/type&gt;
+ &lt;/extension&gt;
&lt;/pre&gt;
</documentation>
</annotation>
@@ -158,7 +158,7 @@ Some annotations serve as the UI counterpart of markers (see &lt;code&gt;org.ecl
<meta.section type="copyright"/>
</appInfo>
<documentation>
- Copyright (c) 2001, 2004 IBM Corporation and others.&lt;br&gt;
+ Copyright (c) 2001, 2004 IBM Corporation and others.&lt;br&gt;
All rights reserved. This program and the accompanying materials are made available under the terms of the Eclipse Public License v1.0 which accompanies this distribution, and is available at &lt;a href=&quot;http://www.eclipse.org/legal/epl-v10.html&quot;&gt;http://www.eclipse.org/legal/epl-v10.html&lt;/a&gt;
</documentation>
</annotation>
diff --git a/org.eclipse.ui.editors/schema/documentProviders.exsd b/org.eclipse.ui.editors/schema/documentProviders.exsd
index 31e08bb1bee..6bf3e410e1f 100644
--- a/org.eclipse.ui.editors/schema/documentProviders.exsd
+++ b/org.eclipse.ui.editors/schema/documentProviders.exsd
@@ -92,29 +92,29 @@
<meta.section type="examples"/>
</appInfo>
<documentation>
- &lt;pre&gt;
-&lt;extension point=&quot;org.eclipse.ui.editors.documentProviders&quot;&gt;
- &lt;provider
- extensions=&quot;.jav&quot;
- class=&quot;org.eclipse.ui.examples.javaeditor.JavaDocumentProvider&quot;
- id=&quot;org.eclipse.ui.examples.javaeditor.JavaDocumentProvider&quot;&gt;
- &lt;/provider&gt;
-&lt;/extension&gt;
-&lt;/pre&gt;
-&lt;p&gt;
-This example registers &lt;samp&gt;org.eclipse.ui.examples.javaeditor.JavaDocumentProvider&lt;/samp&gt; as the default provider for files with the extension &quot;.jav&quot;.
-&lt;/p&gt;
-&lt;p&gt;
-&lt;pre&gt;
-&lt;extension point=&quot;org.eclipse.ui.editors.documentProviders&quot;&gt;
- &lt;provider
- inputTypes=&quot;org.eclipse.ui.IStorageEditorInput&quot;
- class=&quot;org.eclipse.ui.editors.text.FileDocumentProvider&quot;
- id=&quot;org.eclipse.ui.editors.text.FileDocumentProvider&quot;&gt;
- &lt;/provider&gt;
-&lt;/extension&gt;
-&lt;/pre&gt;
-&lt;/p&gt;
+ &lt;pre&gt;
+&lt;extension point=&quot;org.eclipse.ui.editors.documentProviders&quot;&gt;
+ &lt;provider
+ extensions=&quot;.jav&quot;
+ class=&quot;org.eclipse.ui.examples.javaeditor.JavaDocumentProvider&quot;
+ id=&quot;org.eclipse.ui.examples.javaeditor.JavaDocumentProvider&quot;&gt;
+ &lt;/provider&gt;
+&lt;/extension&gt;
+&lt;/pre&gt;
+&lt;p&gt;
+This example registers &lt;samp&gt;org.eclipse.ui.examples.javaeditor.JavaDocumentProvider&lt;/samp&gt; as the default provider for files with the extension &quot;.jav&quot;.
+&lt;/p&gt;
+&lt;p&gt;
+&lt;pre&gt;
+&lt;extension point=&quot;org.eclipse.ui.editors.documentProviders&quot;&gt;
+ &lt;provider
+ inputTypes=&quot;org.eclipse.ui.IStorageEditorInput&quot;
+ class=&quot;org.eclipse.ui.editors.text.FileDocumentProvider&quot;
+ id=&quot;org.eclipse.ui.editors.text.FileDocumentProvider&quot;&gt;
+ &lt;/provider&gt;
+&lt;/extension&gt;
+&lt;/pre&gt;
+&lt;/p&gt;
This example registers &lt;samp&gt;org.eclipse.ui.editors.text.FileDocumentProvider&lt;/samp&gt; as the default provider for all editor inputs that are &lt;samp&gt;instance of org.eclipse.ui.IStorageEditorInput&lt;/samp&gt;.
</documentation>
</annotation>
@@ -142,7 +142,7 @@ This example registers &lt;samp&gt;org.eclipse.ui.editors.text.FileDocumentProvi
<meta.section type="copyright"/>
</appInfo>
<documentation>
- Copyright (c) 2001, 2004 IBM Corporation and others.&lt;br&gt;
+ Copyright (c) 2001, 2004 IBM Corporation and others.&lt;br&gt;
All rights reserved. This program and the accompanying materials are made available under the terms of the Eclipse Public License v1.0 which accompanies this distribution, and is available at &lt;a href=&quot;http://www.eclipse.org/legal/epl-v10.html&quot;&gt;http://www.eclipse.org/legal/epl-v10.html&lt;/a&gt;
</documentation>
</annotation>
diff --git a/org.eclipse.ui.editors/schema/markerUpdaters.exsd b/org.eclipse.ui.editors/schema/markerUpdaters.exsd
index c1fe838f3bb..90f636873cf 100644
--- a/org.eclipse.ui.editors/schema/markerUpdaters.exsd
+++ b/org.eclipse.ui.editors/schema/markerUpdaters.exsd
@@ -85,29 +85,29 @@
<meta.section type="examples"/>
</appInfo>
<documentation>
- &lt;pre&gt;
-&lt;extension point= &quot;org.eclipse.ui.editors.markerUpdaters&quot;&gt;
- &lt;updater
- id=&quot;org.eclipse.jdt.ui.markerUpdaters.JavaSearchMarkerUpdater&quot;
- class=&quot;org.eclipse.jdt.internal.ui.search.JavaSearchMarkerUpdater&quot;
- markerType=&quot;org.eclipse.search.searchmarker&quot;&gt;
- &lt;/updater&gt;
-&lt;/extension&gt;
-&lt;/pre&gt;
-&lt;p&gt;
-This example registers &lt;samp&gt;org.eclipse.jdt.internal.ui.search.JavaSearchMarkerUpdater&lt;/samp&gt; as a marker updater for all markers of the
-type &lt;samp&gt;org.eclipse.search.searchmarker&lt;/samp&gt; including all its derived types.
-&lt;/p&gt;
-&lt;pre&gt;
-&lt;extension point= &quot;org.eclipse.ui.editors.markerUpdaters&quot;&gt;
- &lt;updater
- id=&quot;org.eclipse.ui.texteditor.BasicMarkerUpdater&quot;
- class=&quot;org.eclipse.ui.texteditor.BasicMarkerUpdater&quot;&gt;
- &lt;/updater&gt;
-&lt;/extension&gt;
-&lt;/pre&gt;
-&lt;p&gt;
-This example registers &lt;samp&gt;org.eclipse.ui.texteditor.BasicMarkerUpdater&lt;/samp&gt; as a marker updater independent from the type of the marker.
+ &lt;pre&gt;
+&lt;extension point= &quot;org.eclipse.ui.editors.markerUpdaters&quot;&gt;
+ &lt;updater
+ id=&quot;org.eclipse.jdt.ui.markerUpdaters.JavaSearchMarkerUpdater&quot;
+ class=&quot;org.eclipse.jdt.internal.ui.search.JavaSearchMarkerUpdater&quot;
+ markerType=&quot;org.eclipse.search.searchmarker&quot;&gt;
+ &lt;/updater&gt;
+&lt;/extension&gt;
+&lt;/pre&gt;
+&lt;p&gt;
+This example registers &lt;samp&gt;org.eclipse.jdt.internal.ui.search.JavaSearchMarkerUpdater&lt;/samp&gt; as a marker updater for all markers of the
+type &lt;samp&gt;org.eclipse.search.searchmarker&lt;/samp&gt; including all its derived types.
+&lt;/p&gt;
+&lt;pre&gt;
+&lt;extension point= &quot;org.eclipse.ui.editors.markerUpdaters&quot;&gt;
+ &lt;updater
+ id=&quot;org.eclipse.ui.texteditor.BasicMarkerUpdater&quot;
+ class=&quot;org.eclipse.ui.texteditor.BasicMarkerUpdater&quot;&gt;
+ &lt;/updater&gt;
+&lt;/extension&gt;
+&lt;/pre&gt;
+&lt;p&gt;
+This example registers &lt;samp&gt;org.eclipse.ui.texteditor.BasicMarkerUpdater&lt;/samp&gt; as a marker updater independent from the type of the marker.
&lt;/p&gt;
</documentation>
</annotation>
@@ -135,7 +135,7 @@ This example registers &lt;samp&gt;org.eclipse.ui.texteditor.BasicMarkerUpdater&
<meta.section type="copyright"/>
</appInfo>
<documentation>
- Copyright (c) 2001, 2004 IBM Corporation and others.&lt;br&gt;
+ Copyright (c) 2001, 2004 IBM Corporation and others.&lt;br&gt;
All rights reserved. This program and the accompanying materials are made available under the terms of the Eclipse Public License v1.0 which accompanies this distribution, and is available at &lt;a href=&quot;http://www.eclipse.org/legal/epl-v10.html&quot;&gt;http://www.eclipse.org/legal/epl-v10.html&lt;/a&gt;
</documentation>
</annotation>

Back to the top