Bug 108017 [Markers] Disabling a marker type disables the whole filter
20050825 When you disable a marker type it disables the whole dialog.
bundles/org.eclipse.ui.ide/src/org/eclipse/ui/views/markers/internal/DialogMarkerFilter.java
}
                if (getSelection() == false) {
                    setSelection(true);
                }
            }
        }
        /**
         * Sets the specified working set.
         * 
         * @param workingSet the working set 
         */
        void setWorkingSet(IWorkingSet workingSet) {
            button.setData(workingSet);
            if (workingSet != null) {
                button.setText(
                	NLS.bind(
                			MarkerMessages.filtersDialog_workingSet, workingSet.getName()));
            } else {
                button
                        .setText(MarkerMessages
                                .filtersDialog_noWorkingSet);
            }
        }
        void setEnabled(boolean enabled) {
            button.setEnabled(enabled);
            selectButton.setEnabled(enabled);
        }
    }
    private MarkerFilter[] filters;
    private CheckboxTableViewer typesViewer;