private RenderSpace space;
public RenderSpace getAllocatedSpace(Widget child) {
if (space == null) {
space = new RenderSpace(-1, -1) {
@Override
public int getWidth() {
if (BrowserInfo.get().isIE()) {
int width = getOffsetWidth();
int margins = margin.getOffsetWidth()