From 6effa918f9de7e545ca3860d96d723e9a6eef2e3 Mon Sep 17 00:00:00 2001 From: Ben Soares Date: Fri, 8 Jan 2021 16:53:42 +0000 Subject: [PATCH] JAL-3419 improved look of tabs --- src/jalview/bin/Jalview.java | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) diff --git a/src/jalview/bin/Jalview.java b/src/jalview/bin/Jalview.java index 1afe1d5..a1a6846 100755 --- a/src/jalview/bin/Jalview.java +++ b/src/jalview/bin/Jalview.java @@ -20,6 +20,7 @@ */ package jalview.bin; +import java.awt.Color; import java.io.BufferedReader; import java.io.File; import java.io.FileOutputStream; @@ -1025,8 +1026,15 @@ public class Jalview private static boolean setFlatLookAndFeel() { - return setSpecificLookAndFeel("flatlaf light", + boolean set = setSpecificLookAndFeel("flatlaf light", "com.formdev.flatlaf.FlatLightLaf", false); + if (set) + { + UIManager.put("TabbedPane.showTabSeparators", true); + UIManager.put("TabbedPane.tabSeparatorsFullHeight", true); + UIManager.put("TabbedPane.selectedBackground", Color.white); + } + return set; } private static boolean setQuaquaLookAndFeel() -- 1.7.10.2