Changeset 577

Timestamp:

01/25/10 00:09:31 (3 years ago)

Author:

joerg

Message:

 

Files:

• trunk/src/util/gui/SCETabbedPaneUI.java (modified) (1 diff)

trunk/src/util/gui/SCETabbedPaneUI.java

@@ -56 +56 @@
 
   protected int calculateTabWidth(int tabPlacement, int tabIndex, FontMetrics metrics) {
-    return super.calculateTabWidth(tabPlacement, tabIndex, metrics) + 20;
+    int width = super.calculateTabWidth(tabPlacement, tabIndex, metrics);
+    if(tabIndex == 0 || tabIndex == tabbedPane.getTabCount()-1) width += 10;
+    return width+20;
   }