X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fbin%2FHiDPISetting.java;h=3f57aed11e0e13d05701a1f503881dc7eafadbfd;hb=c932f0e85a8852824cdd8ce790af68682732c85c;hp=2bce6738ca5f94b59547ed36db1c12bd5972f21c;hpb=8bcbf5c32f8091f2d5871e7eec4d4727c26d5c63;p=jalview.git diff --git a/src/jalview/bin/HiDPISetting.java b/src/jalview/bin/HiDPISetting.java index 2bce673..3f57aed 100644 --- a/src/jalview/bin/HiDPISetting.java +++ b/src/jalview/bin/HiDPISetting.java @@ -117,7 +117,7 @@ public class HiDPISetting } } catch (NumberFormatException e) { - System.err.println(setHiDPIScalePropertyName + " property give (" + jalview.bin.Console.errPrintln(setHiDPIScalePropertyName + " property give (" + setHiDPIScaleProperty + ") but not parseable as integer"); } } @@ -135,7 +135,7 @@ public class HiDPISetting try { int existingPropertyVal = Integer.parseInt(existingProperty); - System.out.println("Existing " + scalePropertyName + " is " + jalview.bin.Console.outPrintln("Existing " + scalePropertyName + " is " + existingPropertyVal); if (existingPropertyVal > 1) { @@ -144,7 +144,7 @@ public class HiDPISetting } } catch (NumberFormatException e) { - System.out.println("Could not convert property " + scalePropertyName + jalview.bin.Console.outPrintln("Could not convert property " + scalePropertyName + " vale '" + existingProperty + "' to number"); } } @@ -159,7 +159,7 @@ public class HiDPISetting dpi = screenInfo.getScreenResolution(); } catch (HeadlessException e) { - System.err.println("Cannot get screen resolution: " + e.getMessage()); + jalview.bin.Console.errPrintln("Cannot get screen resolution: " + e.getMessage()); } // try and get screen size height and width @@ -171,7 +171,7 @@ public class HiDPISetting mindimension = Math.min(height, width); } catch (HeadlessException e) { - System.err.println( + jalview.bin.Console.errPrintln( "Cannot get screen size height and width:" + e.getMessage()); }