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
Content-Type: TEXT/PLAIN; charset=US-ASCII
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
Precedence: bulk


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.