Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-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
-rw-r--r--org.eclipse.ui.workbench.texteditor/schema/quickDiffReferenceProvider.exsd28
4 files changed, 90 insertions, 90 deletions
diff --git a/org.eclipse.ui.editors/schema/annotationTypes.exsd b/org.eclipse.ui.editors/schema/annotationTypes.exsd
index daba880e9..545eccbbf 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 31e08bb1b..6bf3e410e 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 c1fe838f3..90f636873 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>
diff --git a/org.eclipse.ui.workbench.texteditor/schema/quickDiffReferenceProvider.exsd b/org.eclipse.ui.workbench.texteditor/schema/quickDiffReferenceProvider.exsd
index 73a871a2b..77aaaa825 100644
--- a/org.eclipse.ui.workbench.texteditor/schema/quickDiffReferenceProvider.exsd
+++ b/org.eclipse.ui.workbench.texteditor/schema/quickDiffReferenceProvider.exsd
@@ -103,19 +103,19 @@
<meta.section type="examples"/>
</appInfo>
<documentation>
- The following is an example of a reference provider definition. It contributes a provider that uses the version of a document saved on disk as a reference.
-
-&lt;p&gt;
-&lt;pre&gt;
- &lt;extension point=&quot;quickdiff.referenceprovider&quot;&gt;
- &lt;referenceprovider
- id=&quot;default&quot;
- name=&quot;%LastSavedProvider.name&quot;
- label=&quot;%quickdiff.referenceprovider.label&quot;
- class=&quot;org.eclipse.ui.internal.editors.quickdiff.providers.LastSaveReferenceProvider&quot;&gt;
- &lt;/referenceprovider&gt;
- &lt;/extension&gt;
-&lt;/pre&gt;
+ The following is an example of a reference provider definition. It contributes a provider that uses the version of a document saved on disk as a reference.
+
+&lt;p&gt;
+&lt;pre&gt;
+ &lt;extension point=&quot;quickdiff.referenceprovider&quot;&gt;
+ &lt;referenceprovider
+ id=&quot;default&quot;
+ name=&quot;%LastSavedProvider.name&quot;
+ label=&quot;%quickdiff.referenceprovider.label&quot;
+ class=&quot;org.eclipse.ui.internal.editors.quickdiff.providers.LastSaveReferenceProvider&quot;&gt;
+ &lt;/referenceprovider&gt;
+ &lt;/extension&gt;
+&lt;/pre&gt;
&lt;/p&gt;
</documentation>
</annotation>
@@ -143,7 +143,7 @@
<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