diff options
| author | Markus Keller <markus_keller@ch.ibm.com> | 2013-07-01 19:31:54 +0200 |
|---|---|---|
| committer | Markus Keller <markus_keller@ch.ibm.com> | 2013-07-01 19:31:54 +0200 |
| commit | 82d23021e682f116b15672075db15444a3eaf7c4 (patch) | |
| tree | 7e6b1ecc958e6b455f74e3c902d9faacc965c08f /bundles/org.eclipse.swt.tools/.settings/org.eclipse.jdt.ui.prefs | |
| parent | f1d983016e5384ae0ec1a8ed952b8ecbe8f2fb19 (diff) | |
| download | eclipse.platform.swt-82d23021e682f116b15672075db15444a3eaf7c4.tar.gz eclipse.platform.swt-82d23021e682f116b15672075db15444a3eaf7c4.tar.xz eclipse.platform.swt-82d23021e682f116b15672075db15444a3eaf7c4.zip | |
fixed compile problems in the build
Diffstat (limited to 'bundles/org.eclipse.swt.tools/.settings/org.eclipse.jdt.ui.prefs')
| -rw-r--r-- | bundles/org.eclipse.swt.tools/.settings/org.eclipse.jdt.ui.prefs | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/bundles/org.eclipse.swt.tools/.settings/org.eclipse.jdt.ui.prefs b/bundles/org.eclipse.swt.tools/.settings/org.eclipse.jdt.ui.prefs new file mode 100644 index 0000000000..0cf8a2ede4 --- /dev/null +++ b/bundles/org.eclipse.swt.tools/.settings/org.eclipse.jdt.ui.prefs @@ -0,0 +1,5 @@ +eclipse.preferences.version=1 +org.eclipse.jdt.ui.ignorelowercasenames=true +org.eclipse.jdt.ui.importorder=java;javax;org;com; +org.eclipse.jdt.ui.ondemandthreshold=1 +org.eclipse.jdt.ui.staticondemandthreshold=1 |