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/MarkerFilter.java
MarkerType type = (MarkerType) iter.next();
            Collection subtypes = Arrays.asList(type.getAllSubTypes());
            if (selectedTypes.containsAll(subtypes)) {
                typesToSearch.removeAll(subtypes);
                includeAllSubtypes.add(type);
            }
        }
        mon
                .beginTask(
                        Messages.getString("MarkerFilter.searching"), typesToSearch.size() * resources.length); 
        
        
        HashSet resourcesToSearch = new HashSet();
        
        for (int idx = 0; idx < resources.length; idx++) {
            IResource next = resources[idx];
            if (!next.exists()) {
                continue;
            }
            if (resourcesToSearch.contains(next)) {
                mon.worked(typesToSearch.size());
            } else {
                resourcesToSearch.add(next);
            }
        }
        
        for (int resourceIdx = 0; resourceIdx < resources.length; resourceIdx++) {
            iter = typesToSearch.iterator();
            IResource resource = resources[resourceIdx];