Editing Existing Tools
You can edit existing tools by using the second page (Tool Definitions
) of the Thor form.
You can open a tool for editing either by double-clicking its row in the grid, or by selecting the row and then clicking the 'Edit Tool' button.
Note that changes made to the 'header' of the tool's PRG are not automatically reflected in the form's display; see
General Usage Notes