Function:     GgiMenu

Purpose:      Create a menu Ggi element

Category:     USER-INTERFACE

File:         ggi.src

Author:       J.P. Terlouw

Use:          
              #include "ggi.h"
              ident menu;
              char *keyword, *message, **labels;

              menu = GgiMenu(keyword, message, labels);

                 menu     - 'handle' by which element can be referenced.
                 keyword  -  user input keyword.
                 message  -  help text which pops up when the pointer stays
                             in the input area for some time.
                 labels   -  a NULL-pointer terminated list of pointers to
                             the menu entry texts.

Description:  GgiMenu creates a menu element.
              When a menu entry is selected, the element writes an integer
              index by calling wkey_c(). (The first element corresponds
              with index zero.) This can be read by userint_c().

              The default menu label is the supplied keyword without the
              equals sign.

              The following menu entry texts have a special meaning.
              These 'entries' are normally counted, but they cannot
              be selected.

                _LINE     separator line
                _SPACE    5 pixels high blank separator
                _text     text separator ('text' is any text)

Related document: GgiMenuLabels.dc2

Updates:      Jan 13, 1998: JPT, Document created.
              Jul  2, 1998: JPT, Special entries implemented.