diff options
author | Dani Megert | 2006-04-19 10:52:00 +0000 |
---|---|---|
committer | Dani Megert | 2006-04-19 10:52:00 +0000 |
commit | 6d9f53b89fe28b18328e45ac6b28cb337e7eee1f (patch) | |
tree | 3969f97018b7127209b015b4344e80239a83b096 /org.eclipse.ui.examples.javaeditor/.settings/org.eclipse.jdt.core.prefs | |
parent | ae7587eb4b5d63712e99a0f59908220ef022cb14 (diff) | |
download | eclipse.platform.text-6d9f53b89fe28b18328e45ac6b28cb337e7eee1f.tar.gz eclipse.platform.text-6d9f53b89fe28b18328e45ac6b28cb337e7eee1f.tar.xz eclipse.platform.text-6d9f53b89fe28b18328e45ac6b28cb337e7eee1f.zip |
Update prefs.
Diffstat (limited to 'org.eclipse.ui.examples.javaeditor/.settings/org.eclipse.jdt.core.prefs')
-rw-r--r-- | org.eclipse.ui.examples.javaeditor/.settings/org.eclipse.jdt.core.prefs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/org.eclipse.ui.examples.javaeditor/.settings/org.eclipse.jdt.core.prefs b/org.eclipse.ui.examples.javaeditor/.settings/org.eclipse.jdt.core.prefs index d0d54da91d8..a18ce7e8b1a 100644 --- a/org.eclipse.ui.examples.javaeditor/.settings/org.eclipse.jdt.core.prefs +++ b/org.eclipse.ui.examples.javaeditor/.settings/org.eclipse.jdt.core.prefs @@ -1,4 +1,4 @@ -#Thu Sep 22 08:55:52 CEST 2005
+#Wed Apr 19 12:47:52 CEST 2006
eclipse.preferences.version=1
org.eclipse.jdt.core.builder.cleanOutputFolder=clean
org.eclipse.jdt.core.builder.duplicateResourceTask=warning
@@ -21,6 +21,7 @@ org.eclipse.jdt.core.compiler.problem.deprecation=warning org.eclipse.jdt.core.compiler.problem.deprecationInDeprecatedCode=disabled
org.eclipse.jdt.core.compiler.problem.deprecationWhenOverridingDeprecatedMethod=enabled
org.eclipse.jdt.core.compiler.problem.emptyStatement=warning
+org.eclipse.jdt.core.compiler.problem.enumIdentifier=warning
org.eclipse.jdt.core.compiler.problem.fieldHiding=warning
org.eclipse.jdt.core.compiler.problem.finalParameterBound=ignore
org.eclipse.jdt.core.compiler.problem.finallyBlockNotCompletingNormally=warning
|