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
IDEWorkbenchMessages.DeleteResourceAction_deleteContents1,
									project.getLocation().toOSString());
				}
			} else {
				text1 = IDEWorkbenchMessages.DeleteResourceAction_deleteContentsN;
			}
			radio1.setText(text1);
			radio1.setFont(parent.getFont());
			
			
			Label detailsLabel = new Label(composite, SWT.LEFT);
			detailsLabel.setText(IDEWorkbenchMessages.DeleteResourceAction_deleteContentsDetails);
			detailsLabel.setFont(parent.getFont());
			
			GC gc = new GC(detailsLabel);
			gc.setFont(detailsLabel.getParent().getFont());
			FontMetrics fontMetrics = gc.getFontMetrics();
			gc.dispose();
			GridData data = new GridData();
			data.horizontalIndent = Dialog.convertHorizontalDLUsToPixels(fontMetrics, IDialogConstants.INDENT);
			detailsLabel.setLayoutData(data);
			
			new Label(composite, SWT.LEFT);
			radio2 = new Button(composite, SWT.RADIO);
			radio2.addSelectionListener(selectionListener);
			String text2 = IDEWorkbenchMessages.DeleteResourceAction_doNotDeleteContents;
			radio2.setText(text2);
			radio2.setFont(parent.getFont());
			
			radio1.setSelection(deleteContent);