}
if (width < minWidth) {
width = minWidth;
}
Element wrapperDiv = visibleWidget.getElement().getParentElement();
// width first
getElement().getStyle().setPropertyPx("width", width);
wrapperDiv.getStyle().setPropertyPx("width", width);
if (dynamicHeight) {
// height of widget might have changed due wrapping
height = visibleWidget.getOffsetHeight();
}
// v-tabsheet-tabsheetpanel height
getElement().getStyle().setPropertyPx("height", height);
// widget wrapper height
if (dynamicHeight) {
wrapperDiv.getStyle().clearHeight();
} else {
// widget wrapper height
wrapperDiv.getStyle().setPropertyPx("height", height);
}
}