From c97147b673ee545a3631082ad0d16a6adc549189 Mon Sep 17 00:00:00 2001 From: Luc Bourlier Date: Fri, 1 Mar 2013 17:50:31 +0100 Subject: [PATCH] Adds a preference and an project preference page The preference is initialized with framework defaults (play.api.templates._, play.api.templates.PlayMagic._). It can be overriden at the project level, in the project properties. Changes are not applied directly, as we are currently lacking a real builder. Fix #35. --- org.scala-ide.play2/plugin.xml | 43 ++++++++++ .../src/org/scalaide/play2/PlayPlugin.scala | 4 +- .../src/org/scalaide/play2/PlayProject.scala | 8 ++ .../play2/properties/PlayPreferences.scala | 35 ++++++++ .../properties/PreferenceInitializer.scala | 12 +++ .../properties/ProjectPropertyPage.scala | 83 +++++++++++++++++++ .../compiler/CompilerUsing.scala | 16 ++-- .../play2/util/Play2PropertyTester.scala | 36 ++++++++ .../util/SyncedScopedPreferenceStore.scala | 16 ++++ 9 files changed, 241 insertions(+), 12 deletions(-) create mode 100644 org.scala-ide.play2/src/org/scalaide/play2/properties/PreferenceInitializer.scala create mode 100644 org.scala-ide.play2/src/org/scalaide/play2/properties/ProjectPropertyPage.scala create mode 100644 org.scala-ide.play2/src/org/scalaide/play2/util/Play2PropertyTester.scala create mode 100644 org.scala-ide.play2/src/org/scalaide/play2/util/SyncedScopedPreferenceStore.scala diff --git a/org.scala-ide.play2/plugin.xml b/org.scala-ide.play2/plugin.xml index 4c29880b..727d0ff7 100644 --- a/org.scala-ide.play2/plugin.xml +++ b/org.scala-ide.play2/plugin.xml @@ -71,6 +71,9 @@ + + @@ -138,6 +141,46 @@ name="Format"> + + + + + + + + + + + + + + + + + + + + + +