public static class BasicJideTabbedPaneUI.TabSpaceAllocator
extends java.lang.Object
| Constructor and Description |
|---|
TabSpaceAllocator() |
| Modifier and Type | Method and Description |
|---|---|
void |
reArrange(java.awt.Rectangle[] rects,
java.awt.Insets insets,
int totalAvailableSpace) |