X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fbin%2FJalview.java;h=d927275484ff1116f8105b9a6436256d13a1f621;hb=c9c9f79b15e7a260bd87d811ed8c906437fd936f;hp=73227d3a284db66d2603cb7e556b16952bb6abf0;hpb=5571d7868cad5493b52c9fc421c88c025e7c2d35;p=jalview.git

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;