/** The mouse was released. */
public void mouseReleased(MouseEvent evt) {
if (isDrawingDependency()) {
SelectableGraphElement selectedElement = graph.findGraphElement(evt.getX(), evt.getY());
notifyPackage(selectedElement);
graphEditor.repaint();
}
rubberBand = null;
SelectionSet newSelection = marquee.stop(); // may or may not have had a marquee...
if (newSelection != null) {
selection.addAll(newSelection);
graphEditor.repaint();
}
if (moving || resizing) {
endMove();
graphEditor.revalidate();
graphEditor.repaint();
}
}
