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
if (control != null && !control.isDisposed()) {
			control.getDisplay().asyncExec(new Runnable() {
				public void run() {
					fProblemItemMapper.problemsChanged(changed, (ILabelProvider)getLabelProvider());
				}
			});
		}
	}
	
	/*
	 * @see StructuredViewer#mapElement(Object, Widget)
	 */
	protected void mapElement(Object element, Widget item) {
		super.mapElement(element, item);
		if (item instanceof Item) {
			fProblemItemMapper.addToMap(element, (Item) item);
		}
	}
	/*
	 * @see StructuredViewer#unmapElement(Object, Widget)
	 */
	protected void unmapElement(Object element, Widget item) {
		if (item instanceof Item) {
			fProblemItemMapper.removeFromMap(element, (Item) item);
		}		
		super.unmapElement(element, item);
	}
	/*
	 * @see ContentViewer#handleLabelProviderChanged(LabelProviderChangedEvent)
	 */