[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [help-texinfo] Changing background color of the 'verbatim' environme

From: Karl Berry
Subject: Re: [help-texinfo] Changing background color of the 'verbatim' environment
Date: Thu, 13 Dec 2012 00:02:33 GMT

    such that rendering programs DTRT for both œôòøfooœôòù and œôòøbarœôòù.  

I don't see the problem, in principle.  The information about what font
should be used for what index entry is completely determined (and
deterministic) by other known information.

As Patrice says, though, it could be inconvenient to trace back the
@syn*indexes and @def*indexes.  I have no objection to adding the info
explicitly in the XML (or whatever) output.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]