Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDani Megert2008-08-26 10:13:28 -0400
committerDani Megert2008-08-26 10:13:28 -0400
commit79f56bc4dc02ac17a2551f00fe5a77c8695c06ca (patch)
tree0b5a4374fa7597954c9179e22eda82af018e60fb /org.eclipse.text/.settings/org.eclipse.jdt.core.prefs
parent7cf852d27f88fa7f7905004439c5e5106c21d0c0 (diff)
downloadeclipse.platform.text-79f56bc4dc02ac17a2551f00fe5a77c8695c06ca.tar.gz
eclipse.platform.text-79f56bc4dc02ac17a2551f00fe5a77c8695c06ca.tar.xz
eclipse.platform.text-79f56bc4dc02ac17a2551f00fe5a77c8695c06ca.zip
Warn about missing description for all standard tags.
Diffstat (limited to 'org.eclipse.text/.settings/org.eclipse.jdt.core.prefs')
-rw-r--r--org.eclipse.text/.settings/org.eclipse.jdt.core.prefs3
1 files changed, 2 insertions, 1 deletions
diff --git a/org.eclipse.text/.settings/org.eclipse.jdt.core.prefs b/org.eclipse.text/.settings/org.eclipse.jdt.core.prefs
index 0f6ae0d0d..2c48ea20b 100644
--- a/org.eclipse.text/.settings/org.eclipse.jdt.core.prefs
+++ b/org.eclipse.text/.settings/org.eclipse.jdt.core.prefs
@@ -1,4 +1,4 @@
-#Wed Jul 16 14:44:09 CEST 2008
+#Tue Aug 26 14:45:32 CEST 2008
eclipse.preferences.version=1
org.eclipse.jdt.core.builder.cleanOutputFolder=clean
org.eclipse.jdt.core.builder.duplicateResourceTask=warning
@@ -55,6 +55,7 @@ org.eclipse.jdt.core.compiler.problem.missingDeprecatedAnnotation=ignore
org.eclipse.jdt.core.compiler.problem.missingJavadocComments=ignore
org.eclipse.jdt.core.compiler.problem.missingJavadocCommentsOverriding=enabled
org.eclipse.jdt.core.compiler.problem.missingJavadocCommentsVisibility=public
+org.eclipse.jdt.core.compiler.problem.missingJavadocTagDescription=all_standard_tags
org.eclipse.jdt.core.compiler.problem.missingJavadocTags=warning
org.eclipse.jdt.core.compiler.problem.missingJavadocTagsOverriding=enabled
org.eclipse.jdt.core.compiler.problem.missingJavadocTagsVisibility=private

Back to the top