/**
  * Sets the default tool of the editor.
  *
  * @see DrawingEditor
  */
 public void toolDone() {
   if (fDefaultToolButton != null) {
     setTool(fDefaultToolButton.tool(), fDefaultToolButton.name());
     setSelected(fDefaultToolButton);
   }
 }
 /**
  * Handles a user selection in the palette.
  *
  * @see PaletteListener
  */
 public void paletteUserSelected(PaletteButton button) {
   ToolButton toolButton = (ToolButton) button;
   setTool(toolButton.tool(), toolButton.name());
   setSelected(toolButton);
 }