content.getElement().setAttribute("style", "margin-bottom:10px");
content.setWidgetTopHeight(scroll, 0, Style.Unit.PX, 92, Style.Unit.PCT);
content.setWidgetBottomHeight(options, 0, Style.Unit.PX, 35, Style.Unit.PX);
return new TrappedFocusPanel(content);
}
else
{
// no writable attributes