Next: Adding support for new tools, Previous: The Plug-ins Editor, Up: Customizing and Extending GPS