JAL-3224 JAL-3225 Fixed help image mangling, moved help to help/help and added this...

[jalview.git] / gradle.properties

diff --git a/gradle.properties b/gradle.properties
index f8da717..45a45f4 100644 (file)
--- a/gradle.properties
+++ b/gradle.properties
@@ -1,7 +1,7 @@
 #org.gradle.java.home = /Users/bsoares/Java/installs/OpenJDK8U-jdk_x64_mac_hotspot_8u192b12/jdk8u192-b12/Contents/Home
 jalviewDir = .
 
-JAVA_VERSION = 1.8
+JAVA_VERSION = 11
 JALVIEW_VERSION = DEVELOPMENT
 INSTALLATION = Source
 jalview_keystore = keys/.keystore
@@ -22,6 +22,7 @@ javac_target = 11
 j8libDir = j8lib
 j11libDir = j11lib
 resourceDir = resources
+helpParentDir = help
 helpDir = help
 docDir = doc
 sourceDir = src
@@ -60,6 +61,7 @@ getdown_channel_base = http://www.jalview.org/getdown/jalview
 getdown_channel_name = TEST
 getdown_txt_allow_offline = true
 getdown_txt_jvmmempc = 95
+getdown_txt_multi_jvmarg = -Dgetdownappdir="%APPDIR%"
 getdown_txt_strict_comments = true
 getdown_txt_title = Jalview
 getdown_txt_ui.name = Jalview
@@ -97,3 +99,5 @@ install4jResourceDir = utils/install4j
 install4jTemplate = install4j_template.install4j
 install4jBuildDir = build/install4j
 install4jMediaTypes = windows,macosArchive,linuxRPM,linuxDeb
+
+eclipse_extra_jdt_prefs_file = .settings/org.eclipse.jdt.core.jalview.prefs