/**
* Returns the working set page with the given id.
*
* @param pageId working set page id
* @return the working set page with the given id.
*/
public IWorkingSetPage getWorkingSetPage(String pageId) {
WorkingSetDescriptor descriptor = (WorkingSetDescriptor) workingSetDescriptors.get(pageId);
if (descriptor == null) {
return null;
}
return descriptor.createWorkingSetPage();
}
/**
* Returns the default, resource based, working set page
*
* @return the default working set page.
*/
public IWorkingSetPage getDefaultWorkingSetPage() {
// @issue this will return the IDE resource working set page... not good for generic workbench
WorkingSetDescriptor descriptor =
(WorkingSetDescriptor) workingSetDescriptors.get(DEFAULT_PAGE_ID);
if (descriptor != null) {
return descriptor.createWorkingSetPage();
}
return null;
}
