SuccessChanges

Summary

  1. Bug 543847 - Add capability to select several PictogramElements from a (details)
Commit 7b4a36b8d3fdc77c169ae6f0cdf3f37a671c3839 by Michael Wenz
Bug 543847 - Add capability to select several PictogramElements from a
selection of PictogramElement
Should work for
* Selection of single PE
* Add further PE to selection (press shift while clicking)
* Create new PE
Change-Id: I08da909cdc527fc333fcbc05a880e0f9f1ae7ff8
The file was modifiedplugins/org.eclipse.graphiti.ui/src/org/eclipse/graphiti/ui/internal/editor/GraphitiScrollingGraphicalViewer.java
The file was modifiedplugins/org.eclipse.graphiti/.settings/.api_filters
The file was modifiedplugins/org.eclipse.graphiti/src/org/eclipse/graphiti/tb/IToolBehaviorProvider.java
The file was modifiedplugins/org.eclipse.graphiti/src/org/eclipse/graphiti/tb/DefaultToolBehaviorProvider.java