Function:     GgiOptionsShell

Purpose:      Private to Ggi: pop-up shell for general options.

Category:     USER-INTERFACE

File:         ggi.src

Author:       J.P. Terlouw

Use:          
              #include "ggi.h"
              char *key;
              
              GgiOptionsShell(key);

Description:  GgiOptionsShell() creates the pop-up shell. Will be popped up
              or down whenever key gets the value YES.

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