Date: Sun, 23 Mar 1997 14:27:27 +0300 (IDT) From: Eli Zaretskii To: Esa DOT Peuha AT helsinki DOT fi cc: djgpp AT delorie DOT com Subject: Re: Colours in info (was: Re: groff installation: thanks, eli) In-Reply-To: <5gqr3a$aqd@oravannahka.Helsinki.FI> Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII On 20 Mar 1997, Esa A E Peuha wrote: > Eli Zaretskii (eliz AT is DOT elta DOT co DOT il) wrote: > : Your experience just confirms once again that editing DJGPP.ENV should be > : the last resort, and definitely NOT something you should do without a > : full understanding of its syntax. > > It is necessary to edit DJGPP.ENV to change colours in the standalone > info program, because the INFO_COLOURS=... line is not prefixed with a > plus sign. That's a bug in DJGPP.ENV. Editing it to correct bugs is compatible with the ``last resort'' approach that I suggested. > Speaking of which, why doesn't the standalone info browser > show links in different colour as its Emacs counterpart? Because the original code doesn't make the links stand out either. The DJGPP port doesn't add and doesn't remove anything in this part. > Would this be difficult to change? Probably not, but I never tried. I'm sure that if you add such support and send it to the maintainer of the GNU Texinfo package, he will put it in the next release.