Bug 156865 Undo / Redo marker actions not updated
I20060906-1200 If a file gets delete after adding/changing/removing a marker then the Undo and Redo actions are not updated and still show, e.g. Undo Add Task Redo Add Task Executing the undo or redo does nothing (no feedback, no .log entry) and the undo and redo menu text remains the same and enabled.
bundles/org.eclipse.ui.ide/src/org/eclipse/ui/ide/undo/AbstractWorkspaceOperation.java
public boolean visit(IResourceDelta delta) {
				if (resources == null) {
					return false;
				}
				for (int i = 0; i < resources.length; i++) {
					if (isResourceChangeInvalidating(delta, resources[i])) {
						markInvalid();
						return false;
					}
				}
				return true;
			}
		};
	}
	/*
	 * A resource change has occurred. Check whether the resource change affects
	 * and invalidates this operation due to its affect on the specified
	 * resource. The default implementation is that if the resource is changed
	 * at all by the delta, then the operation is invalid. Subclasses may have a
	 * more strict interpretation of how a resource delta by invalidate a
	 * resource involved in an operation.
	 */
	protected boolean isResourceChangeInvalidating(IResourceDelta delta,
			IResource resource) {
		return resource.equals(delta.getResource());
	}
	/*
	 * Return the shell described by the specified adaptable, or the active
	 * shell if no shell has been specified in the adaptable.
	 */