/** 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));
 }