Function:     GgiMenuLabels

Purpose:      Replace a menu Ggi element's entry labels

Category:     USER-INTERFACE

File:         ggi.src

Author:       J.P. Terlouw

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

              result = GgiMenuLabels(menu, labels);

                 result   -  copy of the 'menu' argument.
                 menu     -  menu element. Must have been created with GgiMenu.
                 labels   -  a NULL-pointer terminated list of pointers to
                             the menu entry texts.

Description:  GgiMenuLabels replaces a menu element's entry labels.
              Because the current value of the keyword associated with the
              menu may not be valid anymore, wkey_c() is called in order
              to undefine it.

Updates:      Mar 9, 1998: JPT, Document created.