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