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