Bug 13323 Problem Tree Viewer not propagating Label change
Build 20020409 In the handleLabelProviderChanged method in ProblemTreeViewer a changed event on a resource is adapted to the Java elements it represents but the change is not propagated. As a result when the CVS decorator is turned on the ProblemTreeViewer is not decorated. The last line LabelProviderChangedEvent e= new LabelProviderChangedEvent((IBaseLabelProvider) event.getSource(), mapped); should read super.handleLabelProviderChanged(new LabelProviderChangedEvent ((IBaseLabelProvider)event.getSource(), mapped));
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/viewsupport/ProblemTreeViewer.java
protected void handleLabelProviderChanged(LabelProviderChangedEvent event) {
		Object[] source= event.getElements();
		if (source == null) {
			super.handleLabelProviderChanged(event);
			return;
		}
		
		
		
		Object[] mapped= new Object[source.length];
		for (int i= 0; i < source.length; i++) {
			Object o= source[i];
			
			
			
			if (o instanceof IResource) {
				IResource r= (IResource)o;
				IJavaElement element= JavaCore.create(r);
				if (element != null) 
					mapped[i]= element;
				else
					mapped[i]= o;
			} else {
				mapped[i]= o;
			}
		}
		LabelProviderChangedEvent e= new LabelProviderChangedEvent((IBaseLabelProvider)event.getSource(), mapped);
	}
}