X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fbin%2FHiDPISetting.java;fp=src%2Fjalview%2Fbin%2FHiDPISetting.java;h=e14c032b61930cb94b4b958826c38db60591b2c5;hb=fd814da2180509657dbc6a644cf3e812e8e00c92;hp=77228c0200b0dee8e39a9c7e7a2b6f3a1f61dca6;hpb=3778008766299b5db71d77e8530a9c0fe9b6916d;p=jalview.git diff --git a/src/jalview/bin/HiDPISetting.java b/src/jalview/bin/HiDPISetting.java index 77228c0..e14c032 100644 --- a/src/jalview/bin/HiDPISetting.java +++ b/src/jalview/bin/HiDPISetting.java @@ -116,8 +116,9 @@ public class HiDPISetting } } catch (NumberFormatException e) { - System.err.println(setHiDPIScalePropertyName + " property give (" - + setHiDPIScaleProperty + ") but not parseable as integer"); + jalview.bin.Console.errPrintln(setHiDPIScalePropertyName + + " property give (" + setHiDPIScaleProperty + + ") but not parseable as integer"); } } if (setHiDPI && setHiDPIScale > 0) @@ -134,8 +135,8 @@ public class HiDPISetting try { int existingPropertyVal = Integer.parseInt(existingProperty); - System.out.println("Existing " + scalePropertyName + " is " - + existingPropertyVal); + jalview.bin.Console.outPrintln("Existing " + scalePropertyName + + " is " + existingPropertyVal); if (existingPropertyVal > 1) { setHiDPIScale(existingPropertyVal); @@ -143,8 +144,9 @@ public class HiDPISetting } } catch (NumberFormatException e) { - System.out.println("Could not convert property " + scalePropertyName - + " vale '" + existingProperty + "' to number"); + jalview.bin.Console.outPrintln( + "Could not convert property " + scalePropertyName + + " vale '" + existingProperty + "' to number"); } } @@ -160,8 +162,8 @@ public class HiDPISetting { if (isLinux) { - System.err - .println("Cannot get screen resolution: " + e.getMessage()); + jalview.bin.Console.errPrintln( + "Cannot get screen resolution: " + e.getMessage()); } } @@ -176,8 +178,9 @@ public class HiDPISetting { if (isLinux) { - System.err.println("Cannot get screen size height and width:" - + e.getMessage()); + jalview.bin.Console + .errPrintln("Cannot get screen size height and width:" + + e.getMessage()); } }