Community
Participate
Working Groups
Follow-up to bug 215980. Make JavaElementImageDescriptor.PROJECT_ERROR API.
JavaElementImageDescriptor.PROJECT_ERROR has been renamed to JavaElementImageDescriptor.BUILDPATH_ERROR (see bug 310551).
Created attachment 172417 [details] fix
(In reply to comment #2) > Created an attachment (id=172417) [details] [diff] > fix Fixed in HEAD.