// Adds scaled stroke width
int border = (int) Math
.ceil(mxUtils.getDouble(state.getStyle(),
mxConstants.STYLE_STROKEWIDTH)
* graph.getView().getScale()) + 1;
tmp.grow(border);
if (mxUtils.isTrue(state.getStyle(), mxConstants.STYLE_SHADOW))
{
tmp.setWidth(tmp.getWidth() + mxConstants.SHADOW_OFFSETX);
tmp.setHeight(tmp.getHeight() + mxConstants.SHADOW_OFFSETX);