/**
  * Sets the default tool of the editor.
  *
  * @see DrawingEditor
  */
 public void toolDone() {
   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);
 }