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
/*******************************************************************************
 * Copyright (c) 2000, 2007 IBM Corporation and others.
 * All rights reserved. This program and the accompanying materials
 * are made available under the terms of the Eclipse Public License v1.0