From 0ddc96bc043a4fe9ba9b2947a770ae1d3969079c Mon Sep 17 00:00:00 2001
From: Ben Soares <bsoares@dundee.ac.uk>
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