Next: , Previous: Adding support for new tools, Up: Customizing and Extending GPS   [Index]


16.7 Customization examples