git://source.jalview.org / jalview.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 1196b47)
JAL-3416 slightly improved colours for tabber pane tabs
authorBen Soares <b.soares@dundee.ac.uk>
Wed, 24 May 2023 11:50:08 +0000 (12:50 +0100)
committerBen Soares <b.soares@dundee.ac.uk>
Wed, 24 May 2023 11:50:08 +0000 (12:50 +0100)
src/jalview/bin/Jalview.java patch | blob | history

diff --git a/src/jalview/bin/Jalview.java b/src/jalview/bin/Jalview.java
index 4fe822d..51e9af9 100755 (executable)
--- 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));