>># 
>># 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: dsplyhghtm.m,v 1.5 92/06/11 15:58:30 rws Exp $
>># 
>>#
>>TITLE DisplayHeightMM CH02
>>ASSERTION A DisplayHeightMM-1
A call to DisplayHeightMM returns the height in millimeters
of the screen screen_number.
>>STRATEGY
Obtain the height of the screen in millimeters using DisplayHeightMM.
Verify that the value is that given in parameter XT_HEIGHT_MM.
