From 7f0c5c453a345a700b9e19caebaf7a3b55783759 Mon Sep 17 00:00:00 2001
From: Ben Soares <b.soares@dundee.ac.uk>
Date: Wed, 16 Nov 2022 11:23:00 +0000
Subject: [PATCH] JAL-3416 make flatlaf default for linux

---
 src/jalview/bin/Jalview.java |   14 +++++++++++++-
 src/jalview/gui/Desktop.java |    2 ++
 2 files changed, 15 insertions(+), 1 deletion(-)

diff --git a/src/jalview/bin/Jalview.java b/src/jalview/bin/Jalview.java
index 9f37540..a241abe 100755
--- a/src/jalview/bin/Jalview.java
+++ b/src/jalview/bin/Jalview.java
@@ -998,7 +998,7 @@ public class Jalview
       setSystemLookAndFeel();
       if (Platform.isLinux())
       {
-        setMetalLookAndFeel();
+        setLinuxLookAndFeel();
       }
       if (Platform.isMac())
       {
@@ -1161,6 +1161,18 @@ public class Jalview
     return set;
   }
 
+  private static boolean setLinuxLookAndFeel()
+  {
+    boolean set = false;
+    set = setFlatLookAndFeel();
+    if (!set)
+      set = setMetalLookAndFeel();
+    // avoid GtkLookAndFeel -- not good results especially on HiDPI
+    if (!set)
+      set = setNimbusLookAndFeel();
+    return set;
+  }
+
   private static void showUsage()
   {
     System.out.println(
diff --git a/src/jalview/gui/Desktop.java b/src/jalview/gui/Desktop.java
index 20532be..8ed4261 100644
--- a/src/jalview/gui/Desktop.java
+++ b/src/jalview/gui/Desktop.java
@@ -193,6 +193,8 @@ public class Desktop extends jalview.jbgui.GDesktop
   {
     DRAG_MODE = b ? JDesktopPane.LIVE_DRAG_MODE
             : JDesktopPane.OUTLINE_DRAG_MODE;
+    if (desktop != null)
+      desktop.setDragMode(DRAG_MODE);
   }
 
   private JalviewChangeSupport changeSupport = new JalviewChangeSupport();
-- 
1.7.10.2