@Override public void resourceChanged(IResourceChangeEvent e) { IResourceDelta delta= e.getDelta(); if (delta != null && fResource != null) { IResourceDelta child= delta.findMember(fResource.getFullPath()); if (child != null) update(child.getMarkerDeltas()); } } }
public void resourceChanged(IResourceChangeEvent e) { IResourceDelta delta= e.getDelta(); if (delta != null && fResource != null) { IResourceDelta child= delta.findMember(fResource.getFullPath()); if (child != null) update(child.getMarkerDeltas()); } } }