15. tool
Prev | Chapter 4. Reference | Next

## 15. tool

    <tool
      name = NMTOKEN
      helpId = NMTOKEN
    >
      Content: class [ property ]*
    </part>

    <class>
      Content: Java class name
    </class>

    <property
      name = NMTOKEN matching [_a-zA-Z][_a-zA-Z0-9]*
      type = (boolean|byte|char|short|int|long|float|double|
              String|Color|Font)
      value = string
    />

Specifies a tool, that is, a small gadget like the standard "View Clipboard Content" tool, intended to be placed in a status bar or in an horizontal tool bar. The gadget must be an instance of class `java.awt.Component`, implementing interface `com.xmlmind.xmleditapp.kit.AppTool`.

The class implementing interface `com.xmlmind.xmleditapp.kit.AppTool` is specified by the `class` child element.

`Property` child elements may be used to parametrize a newly created part. See bean properties.

Attributes:

name

  Required. Unique name identifying the tool in this GUI specification.

helpId

  Online help ID of the tool.

Example: standard node path tool:

      <tool name="nodePathTool" helpId="nodePathTool">
        <class>com.xmlmind.xmleditapp.kit.part.NodePathTool</class>
        <property name="dragEnabled" value="true" type="boolean" />
      </tool>

Prev | Up | Next
14. statusBar | Home | 16. toolBar