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
UndoMessages.AbstractWorkspaceOperation_UndoErrorTitle,
													getLabel()), null, e
											.getStatus());
				}
			});
			throw new ExecutionException(NLS.bind(
					UndoMessages.AbstractWorkspaceOperation_UndoErrorTitle,
					getLabel()), e);
		}
		isValid = true;
		return Status.OK_STATUS;
	}
	/*
	 * Perform the specific work involved in undoing this operation.
	 */
	protected abstract void doUndo(IProgressMonitor monitor, IAdaptable info)
			throws CoreException;
	/*
	 * Perform the specific work involved in executing this operation.
	 */
	protected abstract void doExecute(IProgressMonitor monitor, IAdaptable info)
			throws CoreException;
	/*
	 * Visit each resource change reported in the delta visitor and check
	 * whether the resource change invalidates this operation. Subclasses may
	 * override this method, but more typically will override the called method,
	 * isResourceChangeInvalidating.
	 */
	protected IResourceDeltaVisitor getDeltaVisitor() {
		return new IResourceDeltaVisitor() {