setAllButResourceDisabled(false);
getMenuManager().setActionEnabled(ACTION_OPEN_PROJECT,true); // no matter what, you can open a project after closing, since if you closed resource pool you can open after
}
public String doRenameProjectDialog(String name,Set projectNames,boolean saveAs) {
finishAnyOperations();
RenameProjectDialog renameProjectDialog = RenameProjectDialog.getInstance(getFrame(),null);
renameProjectDialog.getForm().setName(name);
renameProjectDialog.getForm().setProjectNames(projectNames);
renameProjectDialog.getForm().setSaveAs(saveAs);
if (renameProjectDialog.doModal())
return renameProjectDialog.getForm().getName();
return null;
}