if (editor != null)
page.closeEditor(editor, false);
}
}
ProjectExplorer explorer = ProjectExplorer.getProjectExplorer();
explorer.collapseToLevel(project, 1);
}
}
/**
* @see org.eclipse.ui.actions.ActionDelegate#selectionChanged(org.eclipse.jface.action.IAction,