use of org.eclipse.che.ide.api.resources.marker.MarkerChangedEvent in project che by eclipse.
the class ResourceManager method notifyMarkerChanged.
void notifyMarkerChanged(Resource resource, Marker marker, int status) {
eventBus.fireEvent(new MarkerChangedEvent(resource, marker, status));
eventBus.fireEvent(new ResourceChangedEvent(new ResourceDeltaImpl(resource, UPDATED)));
}
Aggregations