1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22
| public void addPage(IEditorPart page, String title)
{
try {
// Create the page
addPage (page, getEditorInput()) ;
// Set title
setPageText(getPageCount() - 1, title) ;
// Make the new tab visible:
CTabFolder tabFolder = (CTabFolder)getContainer() ;
CTabItem tabItem = tabFolder.getItem(getPageCount() - 1) ;
tabItem.addDisposeListener(new DisposeListener () {
public void widgetDisposed(DisposeEvent e) {
((CTabItem)e.widget).getControl().dispose() ;
}
}) ;
tabFolder.setSelection(tabItem) ;
tabFolder.showSelection() ;
pages.add (page) ;
} catch (PartInitException e) {
logger.error("Cannot create the page in perso editor", e);
}
} |
Partager