Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDani Megert2006-04-19 10:41:00 +0000
committerDani Megert2006-04-19 10:41:00 +0000
commitae7587eb4b5d63712e99a0f59908220ef022cb14 (patch)
treeb86186ea3ff140f5cbf9e2e38c62a470019ebddf /org.eclipse.search/.settings
parentf057deaf6606f73a80bd5c882b59fa2c4590d4b8 (diff)
downloadeclipse.platform.text-ae7587eb4b5d63712e99a0f59908220ef022cb14.tar.gz
eclipse.platform.text-ae7587eb4b5d63712e99a0f59908220ef022cb14.tar.xz
eclipse.platform.text-ae7587eb4b5d63712e99a0f59908220ef022cb14.zip
Use execution environment.
Diffstat (limited to 'org.eclipse.search/.settings')
-rw-r--r--org.eclipse.search/.settings/org.eclipse.jdt.core.prefs3
-rw-r--r--org.eclipse.search/.settings/org.eclipse.jdt.ui.prefs3
2 files changed, 3 insertions, 3 deletions
diff --git a/org.eclipse.search/.settings/org.eclipse.jdt.core.prefs b/org.eclipse.search/.settings/org.eclipse.jdt.core.prefs
index 4c9c876d7..c0e9ecd95 100644
--- a/org.eclipse.search/.settings/org.eclipse.jdt.core.prefs
+++ b/org.eclipse.search/.settings/org.eclipse.jdt.core.prefs
@@ -1,4 +1,4 @@
-#Thu Feb 16 18:18:02 CET 2006
+#Fri Feb 17 10:18:34 CET 2006
eclipse.preferences.version=1
org.eclipse.jdt.core.builder.cleanOutputFolder=clean
org.eclipse.jdt.core.builder.duplicateResourceTask=warning
@@ -57,7 +57,6 @@ org.eclipse.jdt.core.compiler.problem.undocumentedEmptyBlock=ignore
org.eclipse.jdt.core.compiler.problem.unnecessaryElse=warning
org.eclipse.jdt.core.compiler.problem.unnecessaryTypeCheck=error
org.eclipse.jdt.core.compiler.problem.unqualifiedFieldAccess=ignore
-org.eclipse.jdt.core.compiler.problem.unsafeTypeOperation=warning
org.eclipse.jdt.core.compiler.problem.unusedDeclaredThrownException=ignore
org.eclipse.jdt.core.compiler.problem.unusedDeclaredThrownExceptionWhenOverriding=enabled
org.eclipse.jdt.core.compiler.problem.unusedImport=warning
diff --git a/org.eclipse.search/.settings/org.eclipse.jdt.ui.prefs b/org.eclipse.search/.settings/org.eclipse.jdt.ui.prefs
index 7b7d85240..c3e3a5cf4 100644
--- a/org.eclipse.search/.settings/org.eclipse.jdt.ui.prefs
+++ b/org.eclipse.search/.settings/org.eclipse.jdt.ui.prefs
@@ -1,7 +1,8 @@
-#Fri Feb 10 16:45:33 CET 2006
+#Tue Apr 18 20:29:50 CEST 2006
eclipse.preferences.version=1
formatter_profile=_Search Code Style Conventions
formatter_settings_version=10
+internal.default.compliance=default
org.eclipse.jdt.ui.ignorelowercasenames=true
org.eclipse.jdt.ui.importorder=java;javax;org.eclipse.core;org.eclipse.core.runtime;org.eclipse.core.resources;org.eclipse.swt;org.eclipse.jface;org.eclipse.jface.text;org.eclipse.ui;org.eclipse.ui.editors;org.eclipse.ui.workbench;org.eclipse.ui.workbench.texteditor;org.eclipseui.ide;org.eclipse.search.ui;org.eclipse.search.internal;org.eclipse.search2.internal;
org.eclipse.jdt.ui.ondemandthreshold=99

Back to the top