diff options
| author | Dani Megert | 2008-07-15 09:58:44 +0000 |
|---|---|---|
| committer | Dani Megert | 2008-07-15 09:58:44 +0000 |
| commit | da5e275739bc11b7fd6dd91a517ac8d7e8491ec0 (patch) | |
| tree | 40de4a4b6f5779ca0f5201e9c9d6ff8d8cb4631e /org.eclipse.core.filebuffers | |
| parent | 87da70e116aa16062714cfa8d4bfc4e7501213a5 (diff) | |
| download | eclipse.platform.text-da5e275739bc11b7fd6dd91a517ac8d7e8491ec0.tar.gz eclipse.platform.text-da5e275739bc11b7fd6dd91a517ac8d7e8491ec0.tar.xz eclipse.platform.text-da5e275739bc11b7fd6dd91a517ac8d7e8491ec0.zip | |
New Organize Import preferences.
Diffstat (limited to 'org.eclipse.core.filebuffers')
| -rw-r--r-- | org.eclipse.core.filebuffers/.settings/org.eclipse.jdt.ui.prefs | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/org.eclipse.core.filebuffers/.settings/org.eclipse.jdt.ui.prefs b/org.eclipse.core.filebuffers/.settings/org.eclipse.jdt.ui.prefs index 967ff31c103..b600c139196 100644 --- a/org.eclipse.core.filebuffers/.settings/org.eclipse.jdt.ui.prefs +++ b/org.eclipse.core.filebuffers/.settings/org.eclipse.jdt.ui.prefs @@ -1,3 +1,7 @@ -#Tue Apr 18 19:39:58 CEST 2006 +#Tue Jul 15 11:56:36 CEST 2008 eclipse.preferences.version=1 internal.default.compliance=default +org.eclipse.jdt.ui.ignorelowercasenames=true +org.eclipse.jdt.ui.importorder=java;javax;sun;com;org;org.appache;org.w3c;org.eclipse;org.eclipse.swt;org.eclipse.core;org.eclipse.core.runtime;org.eclipse.core.resources;org.eclipse.core.filebuffers;org.eclipse.text;org.eclipse.jface;org.eclipse.jface.text;org.eclipse.ui;org.eclipse.ui.workbench.texteditor;org.eclipse.ui.texteditor;org.eclipse.ui.editors;org.eclipse.compare;org.eclipse.debug;org.eclipse.debug.ui;org.eclipse.search.ui;org.eclipse.search.internal;org.eclipse.ltk;org.eclipse.jdt.core;org.eclipse.jdt.internal;org.eclipse.jdt.launching;org.eclipse.jdt.ui;org.eclipse.jdt.ui.nls;org.eclipse.jdt.internal.ui;org.eclipse.jdt.internal.ui.browsers;org.eclipse.jdt.internal.ui.nls; +org.eclipse.jdt.ui.ondemandthreshold=99 +org.eclipse.jdt.ui.staticondemandthreshold=99 |