Bug 167619 [Undo] 'Undo Delete Resources' should not be available after full project deletion
I20061212-0010. When deleting a project with all its contents there's a comment in the dialog that I cannot undo (OK). Once the project is gone I can still undo the project which is unexpected. Undoing the deletion results in an empty project which can be in a completely weird state (e.g. a Java project without a .classpath file). Adding Markus to track whether deleting from the Package Explorer is affected too.
bundles/org.eclipse.ui.ide/extensions/org/eclipse/ui/actions/DeleteResourceAction.java
.getOperationHistory().execute(op, monitor, 
							WorkspaceUndoUtil.getUIInfoAdapter(shell));
				} catch (ExecutionException e) {
					if (e.getCause() instanceof CoreException) {
						return ((CoreException)e.getCause()).getStatus();
					} 
					return new Status(IStatus.ERROR, IDEWorkbenchPlugin.IDE_WORKBENCH, e.getMessage(),e);
				}
			}
			/*
			 * (non-Javadoc)
			 * 
			 * @see org.eclipse.core.runtime.jobs.Job#belongsTo(java.lang.Object)
			 */
			public boolean belongsTo(Object family) {
				if (IDEWorkbenchMessages.DeleteResourceAction_jobName
						.equals(family)) {
					return true;
				}
				return super.belongsTo(family);
			}
		};
		deleteJob.setUser(true);
		deleteJob.schedule();
	}
	/**
	 * The <code>DeleteResourceAction</code> implementation of this
	 * <code>SelectionListenerAction</code> method disables the action if the
	 * selection contains phantom resources or non-resources
	 */