JAL-2656 recognise non-HTTP URI input streams as gzipped by detecting the gzip magic...

[jalview.git] / build.gradle

diff --git a/build.gradle b/build.gradle
index 24f1fd9..2c7f138 100644 (file)
--- a/build.gradle
+++ b/build.gradle
@@ -963,6 +963,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