Bug 213474 [Markers] Unchecking filter does not update
I20071218-0800. 1. Show > TODO ==> filter is applied 2. Show > TODO ==> nothing happens, old filter stays but view menu looks like this: [ ] TODO ---- [x] Show All
bundles/org.eclipse.ui.ide/src/org/eclipse/ui/internal/provisional/views/markers/CachedMarkerBuilder.java
return true;
		}
		return building;
	}
	/**
	 * Save the state of the receiver to memento
	 * 
	 * @param memento
	 */
	void saveState(IMemento memento) {
		getComparator().saveState(memento);
		if (categoryGroup == null)
			memento.putString(TAG_CATEGORY_GROUP, VALUE_NONE);
		else
			memento.putString(TAG_CATEGORY_GROUP, getCategoryGroup().getId());
	}
	/**
	 * Schedule an update of the markers with a delay.
	 * 
	 */
	void scheduleMarkerUpdate() {
		cancelJobs();
		currentMap = null;
		building = true;
		progressService.schedule(markerProcessJob, SHORT_DELAY);
	}
	/**
	 * Set whether the filters are being ANDed or ORed.
	 * 
	 * @param and