diff options
author | Dani Megert | 2012-07-05 11:27:29 +0000 |
---|---|---|
committer | Dani Megert | 2012-07-05 11:27:29 +0000 |
commit | 123e9686f630f219fdd56ed4893f633ebdc7d47f (patch) | |
tree | 1f9d670f7f9bec34acde2a4fea5c936b1a2e38f0 /org.eclipse.help.ui | |
parent | 91ea120aa5bb9f5b9dbad26ed7a3c57c77b24ff7 (diff) | |
download | eclipse.platform.ua-123e9686f630f219fdd56ed4893f633ebdc7d47f.tar.gz eclipse.platform.ua-123e9686f630f219fdd56ed4893f633ebdc7d47f.tar.xz eclipse.platform.ua-123e9686f630f219fdd56ed4893f633ebdc7d47f.zip |
Improved switch statement checkingv20120705-112729I20120717-0800I20120710-0800
Diffstat (limited to 'org.eclipse.help.ui')
-rw-r--r-- | org.eclipse.help.ui/.settings/org.eclipse.jdt.core.prefs | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/org.eclipse.help.ui/.settings/org.eclipse.jdt.core.prefs b/org.eclipse.help.ui/.settings/org.eclipse.jdt.core.prefs index a5e8631d0..b078685bc 100644 --- a/org.eclipse.help.ui/.settings/org.eclipse.jdt.core.prefs +++ b/org.eclipse.help.ui/.settings/org.eclipse.jdt.core.prefs @@ -1,4 +1,3 @@ -#Thu May 04 15:21:51 EDT 2006 eclipse.preferences.version=1 org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.2 org.eclipse.jdt.core.compiler.compliance=1.4 @@ -18,7 +17,7 @@ org.eclipse.jdt.core.compiler.problem.finallyBlockNotCompletingNormally=warning org.eclipse.jdt.core.compiler.problem.forbiddenReference=error org.eclipse.jdt.core.compiler.problem.hiddenCatchBlock=warning org.eclipse.jdt.core.compiler.problem.incompatibleNonInheritedInterfaceMethod=warning -org.eclipse.jdt.core.compiler.problem.incompleteEnumSwitch=ignore +org.eclipse.jdt.core.compiler.problem.incompleteEnumSwitch=error org.eclipse.jdt.core.compiler.problem.indirectStaticAccess=ignore org.eclipse.jdt.core.compiler.problem.localVariableHiding=ignore org.eclipse.jdt.core.compiler.problem.methodWithConstructorName=warning |