>># 
>># Copyright 1990, 1991 by the Massachusetts Institute of Technology and
>># UniSoft Group Limited.
>># 
>># Permission to use, copy, modify, distribute, and sell this software and
>># its documentation for any purpose is hereby granted without fee,
>># provided that the above copyright notice appear in all copies and that
>># both that copyright notice and this permission notice appear in
>># supporting documentation, and that the names of MIT and UniSoft not be
>># used in advertising or publicity pertaining to distribution of the
>># software without specific, written prior permission.  MIT and UniSoft
>># make no representations about the suitability of this software for any
>># purpose.  It is provided "as is" without express or implied warranty.
>># 
>># $XConsortium: dsplyhght.m,v 1.6 92/06/11 15:58:15 rws Exp $
>># 
>>#
>>TITLE XDisplayHeight CH02
>>ASSERTION A XDisplayHeight-1
A call to XDisplayHeight returns the height in pixels of
the screen screen_number.
>>STRATEGY
Obtain the height of the root window using XGetWindowAttributes.
Obtain the pixel height of the screen using XDisplayHeight.
Verify that the heights are the same.
