From: Ben Soares <b.soares@dundee.ac.uk>
Date: Mon, 4 Oct 2021 19:13:00 +0000 (+0100)
Subject: JAL-3416 updated FlatLaf to 1.6 and added some tabbed pane properties
X-Git-Tag: Release_2_11_2_6~44^2~13
X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=c9c9f79b15e7a260bd87d811ed8c906437fd936f;hp=5571d7868cad5493b52c9fc421c88c025e7c2d35;p=jalview.git

JAL-3416 updated FlatLaf to 1.6 and added some tabbed pane properties
---

diff --git a/j11lib/flatlaf-0.46.jar b/j11lib/flatlaf-0.46.jar
deleted file mode 100644
index 4f6e06b..0000000
Binary files a/j11lib/flatlaf-0.46.jar and /dev/null differ
diff --git a/j11lib/flatlaf-1.6.jar b/j11lib/flatlaf-1.6.jar
new file mode 100644
index 0000000..b1d1d90
Binary files /dev/null and b/j11lib/flatlaf-1.6.jar differ
diff --git a/j8lib/flatlaf-1.6.jar b/j8lib/flatlaf-1.6.jar
new file mode 100644
index 0000000..b1d1d90
Binary files /dev/null and b/j8lib/flatlaf-1.6.jar differ
diff --git a/src/jalview/bin/Jalview.java b/src/jalview/bin/Jalview.java
index 73227d3..d927275 100755
--- a/src/jalview/bin/Jalview.java
+++ b/src/jalview/bin/Jalview.java
@@ -1037,6 +1037,12 @@ public class Jalview
     {
       UIManager.put("TabbedPane.showTabSeparators", true);
       UIManager.put("TabbedPane.tabSeparatorsFullHeight", true);
+      UIManager.put("TabbedPane.tabsOverlapBorder", true);
+      UIManager.put("TabbedPane.hasFullBorder", true);
+      UIManager.put("TabbedPane.tabLayoutPolicy", "scroll");
+      UIManager.put("TabbedPane.scrollButtonsPolicy", "asNeeded");
+      UIManager.put("TabbedPane.smoothScrolling", true);
+      UIManager.put("TabbedPane.tabWidthMode", "compact");
       UIManager.put("TabbedPane.selectedBackground", Color.white);
     }
     return set;