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
types.add(type);
        MarkerType[] subTypes = type.getSubtypes();
        for (int i = 0; i < subTypes.length; i++)
            addAllSubTypes(types, subTypes[i]);
    }
    /**
     * Adds all markers in the given set of resources to the given list
     * 
     * @param resultList
     * @param resources
     * @param markerTypeId
     * @param depth
     * @throws CoreException
     */
    private List findMarkers(IResource[] resources, int depth, int limit,
            IProgressMonitor mon, boolean ignoreExceptions)
            throws CoreException {
        if (resources == null) {
            return Collections.EMPTY_LIST;
        }
        List resultList = new ArrayList(resources.length * 2);
        
        
        
        HashSet typesToSearch = new HashSet(selectedTypes.size());
        
        HashSet includeAllSubtypes = new HashSet(selectedTypes.size());
        typesToSearch.addAll(selectedTypes);
        Iterator iter = selectedTypes.iterator();
        while (iter.hasNext()) {