JAL-3609 JAL-3775 Refactoring a bit of jalview.bin.HiDPISetting so screen display...

[jalview.git] / build.gradle

diff --git a/build.gradle b/build.gradle
index f298bd7..d7382cb 100644 (file)
--- a/build.gradle
+++ b/build.gradle
@@ -1084,6 +1084,7 @@ def convertMdToHtml (FileTree mdFiles, File cssFile) {
 
     def htmlFilePath = mdFile.getPath().replaceAll(/\..*?$/, ".html")
     def htmlFile = file(htmlFilePath)
+    println("Creating ${htmlFilePath}")
     htmlFile.text = htmlText
   }
 }
@@ -1121,7 +1122,7 @@ task copyDocs(type: Copy) {
 
 task convertMdFiles {
   dependsOn copyDocs
-  def mdFiles = fileTree(dir: docBuildDir, include: "*.md")
+  def mdFiles = fileTree(dir: docBuildDir, include: "**/*.md")
   def cssFile = file("${jalviewDir}/${flexmark_css}")
 
   doLast {
@@ -1283,6 +1284,11 @@ test {
     println("Setting Test LaF to '${testLaf}'")
     systemProperty "laf", testLaf
   }
+  def testHiDPIScale = project.findProperty("test_HiDPIScale")
+  if (testHiDPIScale != null) {
+    println("Setting Test HiDPI Scale to '${testHiDPIScale}'")
+    systemProperty "sun.java2d.uiScale", testHiDPIScale
+  }
   sourceCompatibility = compile_source_compatibility
   targetCompatibility = compile_target_compatibility
   jvmArgs += additional_compiler_args