Next: , Previous: The Plug-ins Editor, Up: Customizing and Extending GPS   [Index]


16.5 Customizing through XML and Python files