private 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(); } }
private 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(); } }
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(); } } }
private 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(); } }
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(); } }
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(); } } }