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
IAdvancedUndoableOperation {
	private static String ELLIPSIS = "..."; 
	protected IResource[] resources;
	private IResourceChangeListener listener;
	private boolean isValid = true;
	String[] modelProviderIds;
	/**
	 * Create an AbstractWorkspaceOperation with the specified name.
	 * 
	 * @param name
	 *            the name used to describe the operation
	 */
	AbstractWorkspaceOperation(String name) {
		
		
		super(Action.removeMnemonics(name));
		
		String label = this.getLabel();
		if (label.endsWith(ELLIPSIS)) {
			this.setLabel(label
					.substring(0, label.length() - ELLIPSIS.length()));
		}
	}
	/**
	 * Set the ids of any model providers for the resources involved.