Function:     GgiOptionsButton

Purpose:      Create a button controlling the Ggi options shell

Category:     USER-INTERFACE

File:         ggi.src

Author:       J.P. Terlouw

Use:          
              #include "ggi.h"
              ident button;

              button = GgiOptionsButton();

Description:  GgiOptionsButton creates a button by which Ggi's general
              options pop-up shell can be popped up and down.
              The options shell currently contains controls for recording
              and monitoring events.

              By default the button's label and help text are "GUI" and
              "GUI Options Pop-up window", but these can be changed
              afterwards.

              This button's functionality is also implicitly available in
              every Ggi application which can be activated by clicking the
              right mouse button in any window's background.

Updates:      May  8, 2001: JPT, Document created.