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
* a workspace runnable and catches any CoreExceptions resulting from the
	 * operation. An error dialog is shown to the user if a CoreException occurs
	 * and the exception is propagated as an ExecutionException.
	 * 
	 * @see org.eclipse.core.commands.operations.AbstractOperation#redo(org.eclipse.core.runtime.IProgressMonitor,
	 *      org.eclipse.core.runtime.IAdaptable)
	 */
	public IStatus redo(IProgressMonitor monitor, final IAdaptable info)
			throws ExecutionException {
		try {
			getWorkspace().run(new IWorkspaceRunnable() {
				public void run(IProgressMonitor monitor) throws CoreException {
					doExecute(monitor, info);
				}
			}, null);
		} catch (final CoreException e) {
			getShell(info).getDisplay().syncExec(new Runnable() {
				public void run() {
					ErrorDialog
							.openError(
									getShell(info),
									NLS
											.bind(
													UndoMessages.AbstractWorkspaceOperation_RedoErrorTitle,
													getLabel()), null, e
											.getStatus());
				}
			});
			throw new ExecutionException(NLS.bind(
					UndoMessages.AbstractWorkspaceOperation_RedoErrorTitle,