Function:     GgiSetHeight

Purpose:      Modify default Ggi window height.

Category:     USER-INTERFACE, SYSTEM

File:         ggi.src

Author:       J.P. Terlouw

Use:          
              #include "ggi.h"
              int height;

              GgiSetHeight(height);

                 heigth  -  task's window heigth in pixels

Description:  GgiSetHeight must be called before any element is created.
              The supplied height will not be used when automatic layout is
              in effect or when element realization is postponed.

Updates:      Jan 13, 1998: JPT, Document created.
              Mar  9, 1998: JPT, renamed from GgiHeight