+ /**
+ * Reinitializes all DiagramEditor instances in all workbench windows that have
+ * the specified <code>diagrams</code> as their input.
+ *
+ * <p>Must be invoked from the SWT thread.</p>
+ *
+ * @param diagrams
+ * collection of diagram resources for which to reinitialize all DiagramEditors
+ * for
+ */
+ public static void reinitializeDiagram(Set<Resource> diagrams) {
+ reinitializeDiagram(input -> input instanceof IResourceEditorInput
+ && diagrams.contains(((IResourceEditorInput) input).getResource()));
+ }
+