From 0ddc96bc043a4fe9ba9b2947a770ae1d3969079c Mon Sep 17 00:00:00 2001 From: Ben Soares Date: Sun, 3 May 2020 20:12:41 +0100 Subject: [PATCH] JAL-3608 also look at user pref PREFERRED_LAF --- src/jalview/bin/Jalview.java | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/src/jalview/bin/Jalview.java b/src/jalview/bin/Jalview.java index 992ca01..64e3d81 100755 --- a/src/jalview/bin/Jalview.java +++ b/src/jalview/bin/Jalview.java @@ -371,7 +371,14 @@ public class Jalview // property laf = "crossplatform", "system", "gtk", "metal" or "mac" // If not set (or chosen laf fails), use the normal SystemLaF and if on Mac, // try Quaqua/Vaqua. - String laf = System.getProperty("laf", "none"); + String lafProp = System.getProperty("laf"); + String lafSetting = Cache.getDefault("PREFERRED_LAF", null); + String laf = "none"; + if (lafProp != null) { + laf = lafProp; + } else if (lafSetting != null) { + laf = lafSetting; + } boolean lafSet = false; switch (laf) { -- 1.7.10.2