From 59335e0ce3c6c5e84efd9a31c42aab43a6e17814 Mon Sep 17 00:00:00 2001 From: soares Date: Thu, 23 Apr 2020 15:19:05 +0100 Subject: [PATCH] JAL-3608 JAL-3416 Added a 'gtk' option. Not currently used unless specified as -Dlaf=gtk --- src/jalview/bin/Jalview.java | 24 +++++++++++++++++++++++- 1 file changed, 23 insertions(+), 1 deletion(-) diff --git a/src/jalview/bin/Jalview.java b/src/jalview/bin/Jalview.java index 5c026fd..cfcc2f7 100755 --- a/src/jalview/bin/Jalview.java +++ b/src/jalview/bin/Jalview.java @@ -367,7 +367,7 @@ public class Jalview desktop = null; - // property laf = "crossplatform", "system" or "mac" + // property laf = "crossplatform", "system", "gtk" 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"); @@ -388,6 +388,12 @@ public class Jalview System.err.println("Could not set requested laf=" + laf); } break; + case "gtk": + lafSet = setGtkLookAndFeel(); + { + System.err.println("Could not set requested laf=" + laf); + } + break; case "mac": lafSet = setMacLookAndFeel(); if (!lafSet) @@ -878,6 +884,22 @@ public class Jalview return set; } + private static boolean setGtkLookAndFeel() + { + boolean set = false; + String laf = "com.sun.java.swing.plaf.gtk.GTKLookAndFeel"; + try + { + UIManager.setLookAndFeel(laf); + set = true; + } catch (Exception ex) + { + System.err.println("Unexpected Look and Feel Exception"); + ex.printStackTrace(); + } + return set; + } + private static boolean setMacLookAndFeel() { boolean set = false; -- 1.7.10.2