mi.addSelectionListener(new SelectionAdapter() {
public void widgetSelected(SelectionEvent e) {
IWorkingSetManager manager = PlatformUI.getWorkbench()
.getWorkingSetManager();
actionGroup.setWorkingSet(workingSet);
manager.addRecentWorkingSet(workingSet);
}
});
if (image == null) {
ImageDescriptor imageDescriptor = workingSet.getImageDescriptor();
if (imageDescriptor != null)