Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorMickael Istria2016-06-22 13:25:11 +0000
committerDani Megert2016-09-26 10:33:12 +0000
commitae146da17062d199167360e47eae3fab596e31f0 (patch)
treeaeded078a5854d06145edd6b6f561e74f36d3abe /org.eclipse.ui.genericeditor.examples/.settings
parent5bcb7ac5045743f9ec17895a9a12318dd90ea4cb (diff)
downloadeclipse.platform.text-ae146da17062d199167360e47eae3fab596e31f0.tar.gz
eclipse.platform.text-ae146da17062d199167360e47eae3fab596e31f0.tar.xz
eclipse.platform.text-ae146da17062d199167360e47eae3fab596e31f0.zip
Bug 499811 - .project edition contributing to Generic Editor
This is an example of a usable and feature rich editor for .project files which contributes to the Generic Editor proposal. Bug: 499811 Bug: 497871 Signed-off-by: Mickael Istria <mistria@redhat.com> Signed-off-by: Sopot Cela <scela@redhat.com> Change-Id: I131e00cbca566e3dc2413c7b5db8c9d724b46bfb
Diffstat (limited to 'org.eclipse.ui.genericeditor.examples/.settings')
-rw-r--r--org.eclipse.ui.genericeditor.examples/.settings/org.eclipse.jdt.core.prefs7
1 files changed, 7 insertions, 0 deletions
diff --git a/org.eclipse.ui.genericeditor.examples/.settings/org.eclipse.jdt.core.prefs b/org.eclipse.ui.genericeditor.examples/.settings/org.eclipse.jdt.core.prefs
new file mode 100644
index 000000000..0c68a61dc
--- /dev/null
+++ b/org.eclipse.ui.genericeditor.examples/.settings/org.eclipse.jdt.core.prefs
@@ -0,0 +1,7 @@
+eclipse.preferences.version=1
+org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
+org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.8
+org.eclipse.jdt.core.compiler.compliance=1.8
+org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
+org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
+org.eclipse.jdt.core.compiler.source=1.8

Back to the top