X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fbin%2FJalview.java;h=a241abe13001f4c9286943d738c14fad749d7fc6;hb=7f0c5c453a345a700b9e19caebaf7a3b55783759;hp=9f3754060159b532f891ed2a723c9c895fc34064;hpb=e16a6f83e4f08e8cfc30afb534b506496d383b9c;p=jalview.git 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(