public void replaceDocName(int index, ImageResource icon, String title, String tooltip) { DocTab tab = (DocTab) getTabWidget(index); tab.replaceIcon(icon); tab.replaceTitle(title); tab.replaceTooltip(tooltip); }