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