From: Ben Soares Date: Wed, 24 May 2023 11:50:08 +0000 (+0100) Subject: JAL-3416 slightly improved colours for tabber pane tabs X-Git-Tag: Release_2_11_4_0~299 X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=0361f895087bdff38d1f64ed54eee7acb0659d17;p=jalview.git JAL-3416 slightly improved colours for tabber pane tabs --- 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));