}
if (widthScale <= 1.0)
{
- System.err.println(
+ jalview.bin.Console.errPrintln(
"Invalid alignment character width scaling factor ("
+ widthScale + "). Ignoring.");
widthScale = 1;
}
if (JalviewLite.debug)
{
- System.err.println(
+ jalview.bin.Console.errPrintln(
"Alignment character width scaling factor is now "
+ widthScale);
}
}
if (heightScale <= 1.0)
{
- System.err.println(
+ jalview.bin.Console.errPrintln(
"Invalid alignment character height scaling factor ("
+ heightScale + "). Ignoring.");
heightScale = 1;
}
if (JalviewLite.debug)
{
- System.err.println(
+ jalview.bin.Console.errPrintln(
"Alignment character height scaling factor is now "
+ heightScale);
}