Project: JDT
Bug 31221 provide filter for closed projects [filters]
Reported: 2003-02-07 05:23:55 | Status: resolved fixed

20030206 closed projects are non-java projects but it does not work the other way so there's no (filter-based) way to remove only closed projects

Files changed in fix:
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/filters/ClosedProjectFilter.java org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/filters/NonJavaElementFilter.java org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/filters/NonJavaProjectsFilter.java