Bug 44443 [Tasks] Problems View should 'filter' more efficiently
bundles/org.eclipse.ui.ide/src/org/eclipse/ui/views/markers/internal/DialogMarkerFilter.java
}
		/**
		 * Sets the specified working set.
		 * 
		 * @param workingSet the working set 
		 */
		void setWorkingSet(IWorkingSet workingSet) {
			button.setData(workingSet);
			if (workingSet != null) {					
				button.setText(Messages.format(
					"filtersDialog.workingSet", 					
					new Object[] {workingSet.getName()})); 
			}
			else {
				button.setText(Messages.getString("filtersDialog.noWorkingSet")); 
			}
		}
		void setEnabled(boolean enabled) {
			button.setEnabled(enabled);
			selectButton.setEnabled(enabled);
		}
	}
	private MarkerFilter filter;
	private CheckboxTableViewer typesViewer;
	private Button filterEnabledButton;
	private Button filterOnMarkerLimit;
	private Button anyResourceButton;
	private Button anyResourceInSameProjectButton;
	private Button selectedResourceButton;
	private Button selectedResourceAndChildrenButton;