412413414415416417418419420
} // update the selection ((ShapeDiagramSelection)getElementContainer().getSelection()).setToShapes(selection); // Update undoable operations fireUndoableEditUpdate(new UndoableEditEvent(this, new UnGroupEdit(this, undoUngroup))); repaint(); }