this();
setMainWidget(mainWidget);
}
public WindowFrame()
{
final ThemeStyles styles = ThemeResources.INSTANCE.themeStyles();
border_ = new ShadowBorder();
border_.setSize("100%", "100%");
borderPositioner_ = new SimplePanel();
borderPositioner_.add(border_);
HTML maximize = new HTML();
maximize.setStylePrimaryName(styles.maximize());
maximize.addClickHandler(new ClickHandler()
{
public void onClick(ClickEvent event)
{
maximize();
}
});
HTML minimize = new HTML();
minimize.setStylePrimaryName(styles.minimize());
minimize.addClickHandler(new ClickHandler()
{
public void onClick(ClickEvent event)
{
minimize();
}
});
frame_ = new LayoutPanel();
frame_.setStylePrimaryName(styles.windowframe());
frame_.add(borderPositioner_);
frame_.setWidgetTopBottom(borderPositioner_, 0, Style.Unit.PX,
0, Style.Unit.PX);
frame_.setWidgetLeftRight(borderPositioner_, 0, Style.Unit.PX,