Bug 44443 [Tasks] Problems View should 'filter' more efficiently
bundles/org.eclipse.ui.ide/src/org/eclipse/ui/views/markers/internal/DialogMarkerFilter.java
void setSelectedTypes(List markerTypes) {
		typesViewer.setCheckedElements(new Object[0]);
		for (int i = 0; i < markerTypes.size(); i++) {
			Object obj = markerTypes.get(i);
			if (obj instanceof MarkerType) {
				typesViewer.setChecked(obj, true);
			}
		}
	}
	/**
	 * Updates the enabled state of the widgetry.
	 */
	protected void updateEnabledState() {
		filterOnMarkerLimit.setEnabled(isFilterEnabled());
		markerLimit.setEnabled(isFilterEnabled() && filterOnMarkerLimit.getSelection());
		
		typesViewer.getTable().setEnabled(isFilterEnabled());
		selectAllButton.setEnabled(isFilterEnabled() && typesViewer.getTable().getItemCount() > 0);
		deselectAllButton.setEnabled(isFilterEnabled() && typesViewer.getTable().getItemCount() > 0);
		
		anyResourceButton.setEnabled(isFilterEnabled());
		anyResourceInSameProjectButton.setEnabled(isFilterEnabled());
		selectedResourceButton.setEnabled(isFilterEnabled());
		selectedResourceAndChildrenButton.setEnabled(isFilterEnabled());
		workingSetGroup.setEnabled(isFilterEnabled());
	}
	
	/**
	 * Updates the given filter from the UI state.
	 *