// -------- tab switching ----------
protected void tabChanged(Widget widget) {
if (widget instanceof TabItem) {
TabItem tabItem = (TabItem) widget;
BuildPathBasePage newPage = (BuildPathBasePage) tabItem.getData();
if (fCurrPage != null) {
List selection = fCurrPage.getSelection();
if (!selection.isEmpty()) {
newPage.setSelection(selection, false);
}
}
fCurrPage = newPage;
fPageIndex = tabItem.getParent().getSelectionIndex();
}