Bug 136178 [Markers] Quick filter selection is not updating the view
20050411 Selecting and deselecting filters from the drop down is not changing the filters until you open the dialog
bundles/org.eclipse.ui.ide/src/org/eclipse/ui/views/markers/internal/MarkerView.java
}
		/*
		 * (non-Javadoc)
		 * 
		 * @see org.eclipse.help.IContextProvider#getSearchExpression(java.lang.Object)
		 */
		public String getSearchExpression(Object target) {
			return null;
		}
	}
	private ContextProvider contextProvider = new ContextProvider();
	protected ActionCopyMarker copyAction;
	protected ActionPasteMarker pasteAction;
	protected SelectionProviderAction revealAction;
	protected SelectionProviderAction openAction;
	protected SelectionProviderAction deleteAction;
	protected SelectionProviderAction selectAllAction;
	protected SelectionProviderAction propertiesAction;
	private ISelectionListener focusListener = new ISelectionListener() {
		public void selectionChanged(IWorkbenchPart part, ISelection selection) {
			MarkerView.this.focusSelectionChanged(part, selection);
		}
	};
	private int totalMarkers = 0;
	
	private MarkerFilter[] markerFilters = new MarkerFilter[0];
	
	private MarkerFilter[] enabledFilters = null;
	private MenuManager filtersMenu;
	private MenuManager showInMenu;