Re: Info faces

[Eli Zaretskii]

> Date: Thu, 12 Oct 2000 16:25:54 +0200 (CEST)
> From: Gerd Moellmann <address@hidden>
> 
> "Eli Zaretskii" <address@hidden> writes:
> 
> > Should we perhaps define colors for Info-title-[1-3]-face, for those
> > terminals which don't support bold or variable-pitch?  Right now, the
> > titles are displayed as the rest of the text, which is a regression
> > from Emacs 20.x, I think.
> 
> Seems like a good idea to me.  Maybe we should do it only on ttys.

Okay, I've just committed a change that defines colors for Info
headers on tty's.  Please test that, both with light and dark
backgrounds, and see if the defaults are reasonable.