// width/height style setting don't include border padding, then we need
// to set the element's width/height
// style property a little smaller.
if (part.getFigure() instanceof CSSFigure) {
CSSFigure cssfigure = (CSSFigure) part.getFigure();
ICSSStyle style = cssfigure.getCSSStyle();
if (style != null && !style.isSizeIncludeBorderPadding()) {
width -= (style.getBorderInsets().getWidth() + style
.getPaddingInsets().getWidth());
height -= (style.getBorderInsets().getHeight() + style
.getPaddingInsets().getHeight());
}
}
//make sure to only change the dimensions for the direction of the resize request.