redoAction.actionPerformed(e);
desktopCardPanel.getSelectedComponent().repaint();
} else if (e.getSource() == bAdjust) {
DiagramComponent d = getActiveDiagram();
if (d != null) {
d.adjust();
}
return;
} else if (e.getSource() == bAlign) {
DiagramComponent d = getActiveDiagram();
if (d != null) {