setHeight100();
setWidth100();
setLayoutTopMargin(8);
tabset = new NamedTabSet();
NamedTab table = new NamedTab(tableTabInfo.name);
table.addTabSelectedHandler(new TabSelectedHandler() {
public void onTabSelected(TabSelectedEvent event) {
CoreGUI.goToView(VIEW_PATH);
}
});
NamedTab settings = new NamedTab(settingsTabInfo.name);
settings.addTabSelectedHandler(new TabSelectedHandler() {
public void onTabSelected(TabSelectedEvent event) {
CoreGUI.goToView(VIEW_PATH + "/" + settingsTabInfo.name);
}
});
alerts = new NamedTab(alertsTabInfo.name);
alerts.addTabSelectedHandler(new TabSelectedHandler() {
public void onTabSelected(TabSelectedEvent event) {
CoreGUI.goToView(VIEW_PATH + "/" + alertsTabInfo.name);
}
});