diff options
| author | Dani Megert | 2008-09-09 11:44:05 +0000 |
|---|---|---|
| committer | Dani Megert | 2008-09-09 11:44:05 +0000 |
| commit | 3cb6f576c5bbf83ccf6f2061b2ae6ad9b700c6bf (patch) | |
| tree | e3af2f0b1d3669a277098c9076621228dd512156 /org.eclipse.search.tests | |
| parent | da9637b88a4b49d81634efee00006bbdbbf7e42f (diff) | |
| download | eclipse.platform.text-3cb6f576c5bbf83ccf6f2061b2ae6ad9b700c6bf.tar.gz eclipse.platform.text-3cb6f576c5bbf83ccf6f2061b2ae6ad9b700c6bf.tar.xz eclipse.platform.text-3cb6f576c5bbf83ccf6f2061b2ae6ad9b700c6bf.zip | |
Don't warn about non-externalized strings.
Diffstat (limited to 'org.eclipse.search.tests')
| -rw-r--r-- | org.eclipse.search.tests/.settings/org.eclipse.jdt.core.prefs | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/org.eclipse.search.tests/.settings/org.eclipse.jdt.core.prefs b/org.eclipse.search.tests/.settings/org.eclipse.jdt.core.prefs index ecba6175e58..3f95bc48034 100644 --- a/org.eclipse.search.tests/.settings/org.eclipse.jdt.core.prefs +++ b/org.eclipse.search.tests/.settings/org.eclipse.jdt.core.prefs @@ -1,4 +1,4 @@ -#Tue Jul 15 15:50:55 CEST 2008
+#Tue Sep 09 13:36:56 CEST 2008
eclipse.preferences.version=1
org.eclipse.jdt.core.builder.cleanOutputFolder=clean
org.eclipse.jdt.core.builder.duplicateResourceTask=warning
@@ -61,9 +61,10 @@ org.eclipse.jdt.core.compiler.problem.missingJavadocTagsOverriding=enabled org.eclipse.jdt.core.compiler.problem.missingJavadocTagsVisibility=private
org.eclipse.jdt.core.compiler.problem.missingOverrideAnnotation=warning
org.eclipse.jdt.core.compiler.problem.missingSerialVersion=warning
+org.eclipse.jdt.core.compiler.problem.missingSynchronizedOnInheritedMethod=warning
org.eclipse.jdt.core.compiler.problem.noEffectAssignment=error
org.eclipse.jdt.core.compiler.problem.noImplicitStringConversion=error
-org.eclipse.jdt.core.compiler.problem.nonExternalizedStringLiteral=warning
+org.eclipse.jdt.core.compiler.problem.nonExternalizedStringLiteral=ignore
org.eclipse.jdt.core.compiler.problem.nullReference=error
org.eclipse.jdt.core.compiler.problem.overridingPackageDefaultMethod=error
org.eclipse.jdt.core.compiler.problem.parameterAssignment=ignore
|