7.4.1. External Tools

The External Tools option allows you to add your own custom tools to the #develop IDE Tools menu. You can add additional configuration items to the starting of your external tool as well.

7.4.1.1. Adding an External Tool

To add an external tool:

  1. Select the Tools->Options... menu item and change to the Tools, External Tools category:

  2. Click the Add button to add a new tool. This name of the tool defaults to New Tool.

  3. Select your newly added item, and the properties for the item will be displayed:

  4. Set the properties of your external tool as follows:

    Arguments: Arguments to start your tool with

    Command: The path to your tool (no jokes please... :)

    InitialDirectory: The initial (startup) directory

    MenuCommand: The text for the menu command. You can use the "&" character to get #develop to underline letters in your command.

    PromptForArguments: #develop can prompt you for arguments to pass to the external tool.

7.4.1.2. Deleting an External Tool

To delete an external tool from the list, highlight the tool you wish to remove and click the Remove button.