[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

3. Integrated Help

3.1 The Help Menu  
3.2 Adding New Help Files  

By default when you start GPS, the working area contains a help window displaying HTML help files. On-line help for the GNAT tools is available from the Help menu item.

Since HTML pages can contain lots of complex information, resizing the help window can take some time, making the user interface less responsive. It is therefore recommended to close the Help window when not using it. You can reopen this window at any time using the Help menu item.

For the best use of the integrated help, it is recommended to load small HTML pages each time instead of long pages which will be slow to load and display.


[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

3.1 The Help Menu

The Help menu item provides the following entries:

Contents
This opens a special HTML file that contains links for all the documentation files currently registered in GPS, See section 3.2 Adding New Help Files.

Zoom in
Increase the size of the font used to display the help file.

Zoom out
Decrease the size of the font used to display the help file.

Open HTML file...
Open a file selection dialog to load an HTML file.

About
Display a dialog giving information about the versions of GPS and GNAT used:

about

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.

The help window also provides a contextual menu that gives the possibility to copy the current selection to the clipboard.


[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

3.2 Adding New Help Files

GPS will search for the help files in the list of directories set in the environment variable GPS_DOC_PATH (a colon-separated list of directories on Unix systems, or semicolon-separated list of directories on Windows systems). In addition, the default directory <prefix>/doc/gps/html is also searched. If the file cannot be found in any of these directories, the corresponding menu item will be disabled.

The environment variable GPS_DOC_PATH can either be set by each user in his own environment, or can be set system-wide by modifying the small wrapper script `gps' itself on Unix systems.

It can also be set programmatically through the GPS shell or any of the scripting languages. This is done with

 
GPS.add_doc_directory ("/home/foo")

The specific list of files shown in the menus is set by reading the index files in each of the directories in GPS_DOC_PATH. These index files must be called `gps_index.xml'.

The format of these index files is specified in see section 15.4.16 Adding documentation.


[ << ] [ >> ]           [Top] [Contents] [Index] [ ? ]

This document was generated by Mail Server on November, 29 2004 using texi2html