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
* Updates the filter from the UI state.
     * Must be done here rather than by extending open()
     * because after super.open() is called, the widgetry is disposed.
     */
    protected void okPressed() {
        try {
            int markerLimit = Integer.parseInt(this.markerLimit.getText());
            if (markerLimit < 1) {
                throw new NumberFormatException();
            }
            updateFilterFromUI();
            super.okPressed();
        } catch (NumberFormatException eNumberFormat) {
            MessageBox messageBox = new MessageBox(getShell(), SWT.OK
                    | SWT.APPLICATION_MODAL | SWT.ICON_ERROR);
            messageBox.setText(MarkerMessages
                    .filtersDialog_titleMarkerLimitInvalid);
            messageBox.setMessage(MarkerMessages
                    .filtersDialog_messageMarkerLimitInvalid);
            messageBox.open();
            if (markerLimit.forceFocus()) {
                markerLimit.setSelection(0, markerLimit.getCharCount());
                markerLimit.showSelection();
            }
        }
    }
    /**
     * Handles a press of the Reset button.
     * Updates the UI state to correspond to a reset filter,
     * but doesn't actually reset our filter.