Function:     GgiHeaderButton

Purpose:      Create a Ggi button which causes a set header to be displayed

Category:     USER-INTERFACE

File:         ggi.src

Author:       J.P. Terlouw

Use:          
              #include "ggi.h"
              ident button;
              char *keyword, *label, *message, *setkey;

              button = GgiHeaderButton(keyword, label, message, setkey)

                 button    - 'handle' by which element can be referenced.
                 keyword   -  user input keyword associated with the button.
                 label     -  label text for the button.
                 message   -  help text for the button.
                 setkey    -  user input keyword to obtain the setname from.

Description:  GgiHeaderButton creates a button element which interfaces with
              a pop-up containing a text editor element (read-only) and
              some control elements.

              When the button is pressed, a pop-up containing a text editor
              is popped up. (Or popped down if it is already on the screen.)
              Then the contents of 'setkey' are read and passed to the task
              HEADER which obtains and formats the set header. This is then
              displayed in the text editor.

Updates:      Jul 10, 2000: JPT, Document created.