return relHeight;
}
public RenderSpace getAllocatedSpace() {
if (cc != null) {
return new RenderSpace(getAvailableWidth()
- cc.getCaptionWidthAfterComponent(),
getAvailableHeight()
- cc.getCaptionHeightAboveComponent());
} else {
// this should not happen normally
return new RenderSpace(getAvailableWidth(),
getAvailableHeight());
}
}