Date: Fri, 25 Mar 94 09:50:45 -0500
From: dj AT ctron DOT com (DJ Delorie)
To: FIXER AT FAXCSL DOT DCRT DOT NIH DOT GOV
Cc: djgpp AT sun DOT soe DOT clarkson DOT edu
Subject: Re: Per request - video-mode interrupt stuff

Another alternative, if the user has set it up correctly (most don't)
is to use GrSetMode(GR_biggest_text) to initialize, and
GrSetMode(GR_default_text) to uninitialize.  On my system, for
example, "biggest" text is really 132x50 not 80x50, and so is
"default" text.  Of course, this is only because my graphics driver
supports that mode.

Perhaps GrSetMode needs a switch for "GR_original_mode"?