/*
* (non-Javadoc)
*
* @see henshineditor.figure.condition.FormulaFigure#setSize(int, int)
*/
@Override
public void setSize(int width, int height) {
super.setSize(width, height);
FormulaFigure<?> childFigure = getChildFigure();
if (childFigure != null) {
childFigure.setSize(width, height - 1);
childFigure.setLocation(new Point(getLocation().x, getLocation().y + HEIGHT_DEFAULT));
}
}
/*
* (non-Javadoc)
*
* @see henshineditor.figure.condition.FormulaFigure#getPreferredDimension()
*/
@Override
protected Dimension getPreferredDimension() {
Dimension dimension = super.getPreferredDimension();
FormulaFigure<?> childFigure = getChildFigure();
if (childFigure != null) {
Dimension childDimension = childFigure.getPreferredDimension();
dimension.height += childDimension.height;
dimension.width = childDimension.width;
}
return dimension;
}
