JAL-3608 also look at user pref PREFERRED_LAF

diff --git a/src/jalview/bin/Jalview.java b/src/jalview/bin/Jalview.java
index 992ca01..64e3d81 100755 (executable)
--- 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)
     {