From 0361f895087bdff38d1f64ed54eee7acb0659d17 Mon Sep 17 00:00:00 2001 From: Ben Soares Date: Wed, 24 May 2023 12:50:08 +0100 Subject: [PATCH] JAL-3416 slightly improved colours for tabber pane tabs --- src/jalview/bin/Jalview.java | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/jalview/bin/Jalview.java b/src/jalview/bin/Jalview.java index 4fe822d..51e9af9 100755 --- a/src/jalview/bin/Jalview.java +++ b/src/jalview/bin/Jalview.java @@ -1443,6 +1443,8 @@ public class Jalview UIManager.put("TabbedPane.smoothScrolling", true); UIManager.put("TabbedPane.tabWidthMode", "compact"); UIManager.put("TabbedPane.selectedBackground", Color.white); + UIManager.put("TabbedPane.background", new Color(236, 236, 236)); + UIManager.put("TabbedPane.hoverColor", Color.lightGray); } Desktop.setLiveDragMode(Cache.getDefault("FLAT_LIVE_DRAG_MODE", true)); -- 1.7.10.2