super();
}
@Override
public Tab addTab(TabData tabData, String historyToken) {
Tab newTab = createNewTab(tabData.getPriority());
int beforeIndex;
for (beforeIndex = 0; beforeIndex < tabList.size(); ++beforeIndex) {
if (newTab.getPriority() < tabList.get(beforeIndex).getPriority()) {
break;
}
}
tabPanel.insert(newTab.asWidget(), beforeIndex);
tabList.add(beforeIndex, newTab);
newTab.setText(tabData.getLabel());
newTab.setTargetHistoryToken(historyToken);
return newTab;
}