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