Project: JDT
Bug 308672 [api] Make JavaElementImageDescriptor.BUILDPATH_ERROR API
Reported: 2010-04-09 13:03:15 | Status: resolved fixed


Files changed in fix:
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/packageview/PackageExplorerProblemsDecorator.java org.eclipse.jdt.ui/ui/org/eclipse/jdt/ui/JavaElementImageDescriptor.java org.eclipse.jdt.ui/ui/org/eclipse/jdt/ui/ProblemsLabelDecorator.java