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) |