Bug 573243 - Perform bulk selection instead of individually selection
Change-Id: I026c3b1087a2e5c26f6f82d5e5a49c9a3c29cbb5
diff --git a/plugins/org.eclipse.graphiti.ui/src/org/eclipse/graphiti/ui/internal/editor/GraphitiScrollingGraphicalViewer.java b/plugins/org.eclipse.graphiti.ui/src/org/eclipse/graphiti/ui/internal/editor/GraphitiScrollingGraphicalViewer.java
index 8b94b41..05b1772 100644
--- a/plugins/org.eclipse.graphiti.ui/src/org/eclipse/graphiti/ui/internal/editor/GraphitiScrollingGraphicalViewer.java
+++ b/plugins/org.eclipse.graphiti.ui/src/org/eclipse/graphiti/ui/internal/editor/GraphitiScrollingGraphicalViewer.java
@@ -12,6 +12,7 @@
* fvelasco - Bug 323356 - Mouse-wheel support for scrolling and zooming
* Hubert Guerard, mwenz - Bug 543847 - Add capability to select several PictogramElement from a selection of PictogramElement
* mwenz - Bug 549963 - GraphitiScrollingGraphicalViewer does not accept non-EditPart setSelection references
+* Hubert Guerard - Bug 573243 - Perform bulk selection instead of individually selection
*
* SPDX-License-Identifier: EPL-2.0
**********************************************************************/
@@ -62,15 +63,7 @@
newEditPartSelections.add(newEditPart);
}
}
- boolean firstSelect = true;
- for (EditPart newEditPart : newEditPartSelections) {
- if (firstSelect) {
- super.select(newEditPart);
- firstSelect = false;
- } else {
- super.appendSelection(newEditPart);
- }
- }
+ super.setSelection(new StructuredSelection(newEditPartSelections));
}
}
}
