changedBOs.add(eNotifier);
}
}
final INotificationService notificationService = provider.getNotificationService();
final PictogramElement[] dirtyPEs
= notificationService.calculateRelatedPictogramElements(changedBOs.toArray());
if (dirtyPEs.length > 0) {
// do an asynchronous update in the UI thread
Display.getDefault().asyncExec(new Runnable() {
@Override
public void run() {
IDiagramEditor diagramEditor = provider.getDiagramEditor();
if (provider.isAutoUpdateAtRuntime() && diagramEditor.isDirty()) {
notificationService.updatePictogramElements(dirtyPEs);
} else {
diagramEditor.refresh();
}
}