/** Invoked when a mouse button is pressed on a component and then dragged. */
public void mouseDragged(MouseEvent e) {
logger.fine("Event: mouseDragged");
// first stop the timer and select the node:
stopTimerForDelayedSelection();
NodeView nodeV = ((MainView) e.getComponent()).getNodeView();
// if dragged for the first time, select the node:
if (!c.getView().isSelected(nodeV)) c.extendSelection(e);
}
protected MapView getView() {
return controller.getView();
}
