public void toolDone() {
   setTool(fDefaultToolButton.tool(), fDefaultToolButton.name());
   setSelected(fDefaultToolButton);
 }
 public void paletteUserSelected(PaletteButton button) {
   ToolButton toolButton = (ToolButton) button;
   setTool(toolButton.tool(), toolButton.name());
   setSelected(toolButton);
 }