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 (file)
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 (file)
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 (file)
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 (executable)
--- 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;