3.1 The Help Menu
The Help menu item provides the following entries:
- Welcome
- Open the GPS Welcome page.
- Contents
- Open a special HTML file that contains links for all the
documentation files currently registered in GPS, See Adding New Help Files.
- GPS
- Submenu containing GPS documentation items.
- GNAT Runtime
- Submenu referencing all GNAT run-time files available, and a direct access
to the corresponding specs containing embedded documentation.
- Python extensions
- Gives access to the GPS API available via python.
- About
- Display a dialog giving information about the versions of GPS and GNAT used:
This menu contains a number of additional entries, depending on what
documentation packages were installed on your system. See the next
section to see how to add new help files.