}
} catch (NumberFormatException e)
{
- System.err.println(setHiDPIScalePropertyName + " property give ("
+ jalview.bin.Console.errPrintln(setHiDPIScalePropertyName + " property give ("
+ setHiDPIScaleProperty + ") but not parseable as integer");
}
}
try
{
int existingPropertyVal = Integer.parseInt(existingProperty);
- System.out.println("Existing " + scalePropertyName + " is "
+ jalview.bin.Console.outPrintln("Existing " + scalePropertyName + " is "
+ existingPropertyVal);
if (existingPropertyVal > 1)
{
}
} catch (NumberFormatException e)
{
- System.out.println("Could not convert property " + scalePropertyName
+ jalview.bin.Console.outPrintln("Could not convert property " + scalePropertyName
+ " vale '" + existingProperty + "' to number");
}
}
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
mindimension = Math.min(height, width);
} catch (HeadlessException e)
{
- System.err.println(
+ jalview.bin.Console.errPrintln(
"Cannot get screen size height and width:" + e.getMessage());
}