diff options
author | Dani Megert | 2008-08-26 14:13:28 +0000 |
---|---|---|
committer | Dani Megert | 2008-08-26 14:13:28 +0000 |
commit | 79f56bc4dc02ac17a2551f00fe5a77c8695c06ca (patch) | |
tree | 0b5a4374fa7597954c9179e22eda82af018e60fb /org.eclipse.ui.workbench.texteditor/.settings | |
parent | 7cf852d27f88fa7f7905004439c5e5106c21d0c0 (diff) | |
download | eclipse.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.ui.workbench.texteditor/.settings')
-rw-r--r-- | org.eclipse.ui.workbench.texteditor/.settings/org.eclipse.jdt.core.prefs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/org.eclipse.ui.workbench.texteditor/.settings/org.eclipse.jdt.core.prefs b/org.eclipse.ui.workbench.texteditor/.settings/org.eclipse.jdt.core.prefs index 582f0e25299..528a352e472 100644 --- a/org.eclipse.ui.workbench.texteditor/.settings/org.eclipse.jdt.core.prefs +++ b/org.eclipse.ui.workbench.texteditor/.settings/org.eclipse.jdt.core.prefs @@ -1,4 +1,4 @@ -#Tue Jul 15 15:50:55 CEST 2008
+#Tue Aug 26 14:48:18 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
|