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
if (sorter.compareCategory(previous, elements[i]) != 0) {
					categories
							.add(new MarkerCategory(
									this,
									categoryStart,
									i - 1,
									getCategoryGroup()
											.getMarkerField()
											.getValue(
													markers
															.elementAt(categoryStart))));
					categoryStart = i;
				}
			}
			previous = elements[i];
		}
		if (end >= categoryStart) {
			categories.add(new MarkerCategory(this, categoryStart, end,
					getCategoryGroup().getMarkerField().getValue(
							markers.elementAt(categoryStart))));
		}
		MarkerCategory[] nodes = new MarkerCategory[categories.size()];
		categories.toArray(nodes);
		return nodes;
	}
	/**
	 * Cancel the pending jobs in the receiver.
	 */
	private void cancelJobs() {
		markerProcessJob.cancel();