@Override
	public void mouseMoved(MouseEvent e) {
		// stub
	}
pick the vertices inside the rectangle created from points 'down' and 'out' (two diagonally
opposed corners of the rectangle)

@param vv the viewer containing the layout and picked state
@param down one corner of the rectangle
@param out the other corner of the rectangle
@param clear whether to reset existing picked state
Ghidra/Framework/Graph/src/main/java/ghidra/graph/viewer/event/mouse/JungPickingGraphMousePlugin.java