contentHeight += realScrollbarHeight; } else { w.getElement().getStyle().clearMarginBottom();
contentHeight += realScrollbarHeight; } else { w.getElement().getStyle().clearMarginBottom();
contentHeight += realScrollbarHeight; } else { w.getElement().getStyle().clearMarginBottom();
style.setMarginBottom(marginBottom, Style.Unit.PX); } else { style.clearMarginBottom();