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