JAL-3911 HiDPISetting update. jalview.bin.* update. Attempt to detect SHIFT key ...

[jalview.git] / src / jalview / bin / HiDPISetting.java

diff --git a/src/jalview/bin/HiDPISetting.java b/src/jalview/bin/HiDPISetting.java
index 6219179..cda27cd 100644 (file)
--- a/src/jalview/bin/HiDPISetting.java
+++ b/src/jalview/bin/HiDPISetting.java
@@ -211,6 +211,20 @@ public class HiDPISetting
     return allowScalePropertyArg ? getScalePropertyArg(scale) : null;
   }
 
+  public static void setScaleProperty(int s)
+  {
+    System.setProperty(scalePropertyName, String.valueOf(s));
+  }
+
+  public static void setScaleProperty()
+  {
+    init();
+    if (allowScalePropertyArg)
+    {
+      setScaleProperty(scale);
+    }
+  }
+
   public static void clear()
   {
     setHiDPI = false;