8384858687888990919293
public void run() { IDiagramEditor diagramEditor = provider.getDiagramEditor(); if (provider.isAutoUpdateAtRuntime() && diagramEditor.isDirty()) { notificationService.updatePictogramElements(dirtyPEs); } else { diagramEditor.refresh(); } } }); }