/** Copies the selection to the clipboard. */
protected void copySelection() {
FigureSelection selection = fView.getFigureSelection();
Clipboard.getClipboard().setContents(selection);
}
/** Copies the FigureEnumeration to the clipboard. */
protected void copyFigures(FigureEnumeration fe, int figureCount) {
Clipboard.getClipboard().setContents(new StandardFigureSelection(fe, figureCount));
}