/** Inserts a vector of figures and translates them by the given offset. */
protected void insertFigures(Vector figures, int dx, int dy) {
FigureEnumeration e = new FigureEnumerator(figures);
while (e.hasMoreElements()) {
Figure figure = e.nextFigure();
figure.moveBy(dx, dy);
figure = fView.add(figure);
fView.addToSelection(figure);
}
}
