From ba6eb99e53c4c71ac83a9dbc2d4f7128caf36404 Mon Sep 17 00:00:00 2001
From: Dani Megert
Date: Mon, 4 Oct 2004 12:43:07 +0000
Subject: Fixed doc bug

---
 org.eclipse.ui.editors/schema/annotationTypes.exsd | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'org.eclipse.ui.editors/schema/annotationTypes.exsd')

diff --git a/org.eclipse.ui.editors/schema/annotationTypes.exsd b/org.eclipse.ui.editors/schema/annotationTypes.exsd
index e68b2bb5c43..74178ac0687 100644
--- a/org.eclipse.ui.editors/schema/annotationTypes.exsd
+++ b/org.eclipse.ui.editors/schema/annotationTypes.exsd
@@ -74,7 +74,7 @@ Some annotations serve as the UI counterpart of markers (see <code>org.ecl
          <attribute name="markerSeverity">
             <annotation>
                <documentation>
-                  The severity of this annotation type, used for ordering. Any out of 0, 1, 2.
+                  The optional severity of this annotation type, used for mapping an annotation type to a marker. Any out of IMarker.SEVERITY_INFO, IMarker.SEVERITY_WARNING, SEVERITY_ERROR.
                </documentation>
             </annotation>
             <simpleType>
-- 
cgit v1.2.3