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/MarkerView.java
if (oldProjects.size() == newProjects.size()) {
                return !newProjects.containsAll(oldProjects);
            } else {
                return true;
            }
        }
        return true;
    }
    /**
     * Returns the marker limit or -1 if unlimited
     *  
     * @return
     */
    private int getMarkerLimit() {
        MarkerFilter filter = getFilter();
        if (!filter.isEnabled() || !filter.getFilterOnMarkerLimit()) {
            return -1;
        }
        return filter.getMarkerLimit();
    }
    private boolean withinMarkerLimit(int toTest) {
        int limit = getMarkerLimit();
        return (limit == -1 || toTest <= limit);
    }
    void updateTitle() {
        String status = ""; 
        int filteredCount = currentMarkers.getItemCount();
        int totalCount = getTotalMarkers();
        if (filteredCount == totalCount) {
            status = Messages