Bug 82743 [Markers] improved problem filter needed (OR clauses)
when working with large workspaces I find the current problems filter not powerful enough. If I were able to AND and OR the conditions available from the UI then I would solve all my use cases. my most needed one is : I would like to see ERRORS anywhere in the workspace OR WARNINGS in the current selected project
bundles/org.eclipse.ui.ide/src/org/eclipse/ui/views/markers/internal/DialogProblemFilter.java
SelectionListener listener = new SelectionAdapter() {
                /* (non-Javadoc)
                 * @see org.eclipse.swt.events.SelectionListener#widgetSelected(org.eclipse.swt.events.SelectionEvent)
                 */
                public void widgetSelected(SelectionEvent e) {
                    updateEnablement();
                    DialogProblemFilter.this.markDirty();
                }
            };
            enablementButton = new Button(parent, SWT.CHECK);
            GridData data = new GridData(GridData.FILL_HORIZONTAL);
            data.horizontalSpan = 2;
            enablementButton.setLayoutData(data);
            enablementButton.setFont(parent.getFont());
            enablementButton.setText(Messages
                    .getString("filtersDialog.severityLabel")); 
            enablementButton.addSelectionListener(listener);
            errorButton = new Button(parent, SWT.CHECK);
            errorButton.setFont(parent.getFont());
            errorButton.setText(Messages.getString("filtersDialog.severityError")); 
            errorButton.setLayoutData(new GridData(GridData.FILL_HORIZONTAL));
            errorButton.addSelectionListener(selectionListener);
            warningButton = new Button(parent, SWT.CHECK);
            warningButton.setFont(parent.getFont());
            warningButton.setText(Messages.getString("filtersDialog.severityWarning")); 
            warningButton.setLayoutData(new GridData(GridData.FILL_HORIZONTAL));
            warningButton.addSelectionListener(selectionListener);
            infoButton = new Button(parent, SWT.CHECK);
            infoButton.setFont(parent.getFont());
            infoButton