Re: ANN: Pygments support for LilyPond

[Werner LEMBERG]

>> `@example` is a verbatim environment, too.

Ah, I was misled.  Indeed, macros are expanded within `@example`,
which is good, since it simplifies colour support – you only have to
convince 'pygments' to insert proper `@setcolor` commands before and
after the coloured tokens.

> As far as I understand the texi2html documentation, @verbatim is
> handled a bit differently.  [...]

I can imagine this.  Note that I have no idea how `texi2html` works...

> @example
> CCC
> @setcolor{0.0 1.0 0.0}
> DDD
> @end example

Thanks.  Please apply the attached patch to `texinfo.tex` to make
`@setcolor` work in `@example` environments; it is necessary to
temporarily make a space character behave normally.

If my solution is sufficient I will submit it to texinfo upstream.


    Werner


======================================================================


--- texinfo.tex.good    2021-11-01 17:30:03.008396036 +0100
+++ texinfo.tex 2021-11-22 16:51:50.364723342 +0100
@@ -1239,8 +1239,10 @@
   %
   % Set color, and create a mark which defines \thiscolor accordingly,
   % so that \makeheadline knows which color to restore.
-  \def\setcolor#1{%
-    \xdef\currentcolordefs{\gdef\noexpand\thiscolor{#1}}%
+  \def\setcolor{\begingroup \spaceisspace \dosetcolor}
+  \def\dosetcolor#1{%
+      \xdef\currentcolordefs{\gdef\noexpand\thiscolor{#1}}%
+    \endgroup
     \domark
     \pdfsetcolor{#1}%
   }