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()));
}
});
return new ProxyIterator(j) {
public Object next() {
Figure nf = (Figure) super.next();
return nf.getUserObject();
}
};
}