/** * Updates this model to the given marker deltas. * * @param markerDeltas the array of marker deltas */ protected void update(IMarkerDelta[] markerDeltas) { if (markerDeltas.length == 0) return; if (markerDeltas.length == 1) { IMarkerDelta delta= markerDeltas[0]; switch (delta.getKind()) { case IResourceDelta.ADDED : addMarkerAnnotation(delta.getMarker()); break; case IResourceDelta.REMOVED : removeMarkerAnnotation(delta.getMarker()); break; case IResourceDelta.CHANGED : modifyMarkerAnnotation(delta.getMarker()); break; } } else batchedUpdate(markerDeltas); fireModelChanged(); }