@Override
protected void doDestroyPage(IWorkbenchPart part, PageRec pageRecord) {
IPage page = pageRecord.page;
page.dispose();
pageRecord.dispose();
// empty cross-reference cache
fPartsToPages.remove(part);
}
/*
* TODO workaround for focus problem. Clarify focus behavior.
*
* @see org.eclipse.ui.IWorkbenchPart#setFocus()
*/
@Override
public void setFocus() {
IPage currentPage = getCurrentPage();
if (currentPage != null) {
currentPage.setFocus();
} else {
super.setFocus();
}
}