>>> This doesn't print any color, with or without your patch: [...]
>> Interesting, for me it works, see attached file.
D'oh, yesterday I used the wrong incantation, sorry. I can reproduce
the problem; attached is a new patch that also takes care of xetex.
Werner
======================================================================
--- texinfo.tex.orig 2021-11-01 17:30:03.008396036 +0100
+++ texinfo.tex 2021-11-24 14:33:27.437682335 +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}%
}
@@ -1631,8 +1633,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}%
}
