[gps-devel] Integrated Help

[Georg Bauhaus]

Hi,

some good questions about how to use GPS and GNAT pop
up every now and then. Curiously, they are all answered
very well in the User's Guide (source naming scheme,
paths, etc.) of which the inquirer is, unfortunately, unaware.

What would you think about GPS offering a recurring, nice
visual hint at the built-in tutorial documentation? For example,
about placing a badge-like help button in the Tips dialogue.
Or what about a How-To menu with entries pointing at the right
places in the introductory sections of the guides. (The choice
of entries might reflect the hit list of FAQs.)

Georg