Date:	Tue, 26 Jun 2001 16:17:19 +0300 (IDT)
From:	Eli Zaretskii <eliz AT is DOT elta DOT co DOT il>
X-Sender:	eliz AT is
To:	Jason Green <news AT jgreen4 DOT fsnet DOT co DOT uk>
cc:	djgpp AT delorie DOT com
Subject:	Re: Info.
In-Reply-To:	<1oafjtodrkj2ro0lj2ockvaqg0us1st1le@4ax.com>
Message-ID:	<Pine.SUN.3.91.1010626161701.17201J-100000@is>
MIME-Version:	1.0
Reply-To:	djgpp AT delorie DOT com
Errors-To:	nobody AT delorie DOT com
X-Mailing-List:	djgpp AT delorie DOT com
X-Unsubscribes-To:	listserv AT delorie DOT com

On Mon, 25 Jun 2001, Jason Green wrote:

> > Only because djgpp.env says INFO_LINES=40.  If you remove that, or set
> > INFO_LINES=25 in the environment, Info won't switch the video mode.
> 
> Ah... *now* I see it!  Thanks.
> 
> IMHO, the file gnu\texinfo4.0\djgpp\README could benefit from a note to
> this effect (in section 2d).

I'm not sure what's missing there.  It lists all the values that are
supported, as far as I could see.

> I had figured the only way to prevent a
> video switch was to set INFO_LINES to match the actual display.

Isn't that a reasonable thing to expect from a program?

> FWIW, I also find the default of white on black far easier on the eyes
> than white on blue (which I now see gets set up in djgpp.env).  It's all
> a matter of taste though I suppose.

Yes.  You could set INFO_COLORS to whatever you like; that's why that
variable is provided.

- Raw text -