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
postBuild();
					scheduleMarkerUpdate();
					return;
				}
				
				if (progressService == null)
					markerProcessJob.schedule(TIME_OUT);
				else
					progressService.schedule(markerProcessJob, TIME_OUT);
			}
		};
	}
	/**
	 * Post build has happened. Let it all run.
	 */
	protected void postBuild() {
		preBuildTime = -1;
	}
	/**
	 * We are in a pre build state. Do not update until the post build happens.
	 */
	protected void preBuild() {
		preBuildTime = System.currentTimeMillis();
	}
	/**
	 * Get the fields that this content generator is displaying.
	 * 
	 * @return {@link MarkerField}[]
	 */
	MarkerField[] getVisibleFields() {