* Return an iterator over the nodes which intersect the given
* rectangle in the top-level graph.
*/
public Iterator intersectingNodes(Rectangle2D r) {
final GraphModel model = _controller.getGraphModel();
ZList zlist = getGraphicsPane().getForegroundLayer().getFigures();
Iterator i = zlist.getIntersectedFigures(r).figuresFromFront();
Iterator j = new FilteredIterator(i, new Filter() {
public boolean accept(Object o) {
Figure f = (Figure) o;
return (model.isNode(f.getUserObject()));
}