/*
* (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));
}
}
