Project: Eclipse_Platform_UI
Bug 213474 [Markers] Unchecking filter does not update
Reported: 2007-12-19 10:59:58 | Status: verified fixed

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

Files changed in fix:
bundles/org.eclipse.ui.ide/src/org/eclipse/ui/internal/provisional/views/markers/CachedMarkerBuilder.java