From c4801cfbff643006f0f264689ee4042b9eab5a6d Mon Sep 17 00:00:00 2001 From: Ben Soares Date: Sun, 21 Jun 2020 01:24:10 +0100 Subject: [PATCH] JAL-3609 Report when scale setting used. --- src/jalview/bin/Launcher.java | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/src/jalview/bin/Launcher.java b/src/jalview/bin/Launcher.java index 5e6e48c..fecacbe 100644 --- a/src/jalview/bin/Launcher.java +++ b/src/jalview/bin/Launcher.java @@ -156,6 +156,8 @@ public class Launcher String scalePropertyArg = HiDPISetting.getScalePropertyArg(); if (scalePropertyArg != null) { + System.out.println("Running " + startClass + " with scale setting " + + scalePropertyArg); command.add(scalePropertyArg); } @@ -166,7 +168,8 @@ public class Launcher // System.out.println("COMMAND: " + String.join(" ", builder.command())); System.out.println("Running " + startClass + " with " - + (memSetting == null ? "no memory setting" : memSetting)); + + (memSetting == null ? "no memory setting" + : ("memory setting " + memSetting))); if (Boolean.parseBoolean(System.getProperty("launcherstop"))) { -- 1.7.10.2