Tools
Last modified by WikiBot on 2025/03/20 14:15
Tools
Tools are commands defined in applications and listed in the Tools menu.
The list of tools are defined in the application file as a record
(:tools menu-item...)
The format of menu items is described in Script code for menus.