[7292] XeTeX PDF color support

[trueroad]

Revision: 7292
          http://svn.sv.gnu.org/viewvc/?view=rev&root=texinfo&revision=7292
Author:   trueroad
Date:     2016-08-01 14:21:45 +0000 (Mon, 01 Aug 2016)
Log Message:
-----------
XeTeX PDF color support

Modified Paths:
--------------
    trunk/ChangeLog
    trunk/doc/texinfo.tex

Modified: trunk/ChangeLog
===================================================================
--- trunk/ChangeLog     2016-07-31 18:00:17 UTC (rev 7291)
+++ trunk/ChangeLog     2016-08-01 14:21:45 UTC (rev 7292)
@@ -1,3 +1,11 @@
+2016-08-01  Masamichi Hosoda  <address@hidden>
+
+       * doc/texinfo.tex
+       (\rgbDarkRed, \rgbBlack, \setcolor, \maincolor, \thiscolor)
+       (\lastcolordefs, \makefootline, \makeheadline):
+       Copy from the definition for pdfTeX.
+       (\pdfsetcolor): Add XeTeX PDF color support.
+
 2016-07-31  Gavin Smith  <address@hidden>
 
        * doc/texinfo.tex (\balancecolumns): Reduce height limit for 

Modified: trunk/doc/texinfo.tex
===================================================================
--- trunk/doc/texinfo.tex       2016-07-31 18:00:17 UTC (rev 7291)
+++ trunk/doc/texinfo.tex       2016-08-01 14:21:45 UTC (rev 7292)
@@ -3,7 +3,7 @@
 % Load plain if necessary, i.e., if running under initex.
 \expandafter\ifx\csname fmtname\endcsname\relax\input plain\fi
 %
-\def\texinfoversion{2016-07-31.17}
+\def\texinfoversion{2016-08-01.14}
 %
 % Copyright 1985, 1986, 1988, 1990, 1991, 1992, 1993, 1994, 1995,
 % 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003, 2004, 2005, 2006,
@@ -1562,6 +1562,46 @@
     \txiuseunicodedestnamefalse
   \fi
   %
+  % Color support
+  %
+  \def\rgbDarkRed{0.50 0.09 0.12}
+  \def\rgbBlack{0 0 0}
+  %
+  \def\pdfsetcolor#1{\special{pdf:scolor [#1]}}
+  %
+  % Set color, and create a mark which defines \thiscolor accordingly,
+  % so that \makeheadline knows which color to restore.
+  \def\setcolor#1{%
+    \xdef\lastcolordefs{\gdef\noexpand\thiscolor{#1}}%
+    \domark
+    \pdfsetcolor{#1}%
+  }
+  %
+  \def\maincolor{\rgbBlack}
+  \pdfsetcolor{\maincolor}
+  \edef\thiscolor{\maincolor}
+  \def\lastcolordefs{}
+  %
+  \def\makefootline{%
+    \baselineskip24pt
+    \line{\pdfsetcolor{\maincolor}\the\footline}%
+  }
+  %
+  \def\makeheadline{%
+    \vbox to 0pt{%
+      \vskip-22.5pt
+      \line{%
+        \vbox to8.5pt{}%
+        % Extract \thiscolor definition from the marks.
+        \getcolormarks
+        % Typeset the headline with \maincolor, then restore the color.
+        \pdfsetcolor{\maincolor}\the\headline\pdfsetcolor{\thiscolor}%
+      }%
+      \vss
+    }%
+    \nointerlineskip
+  }
+  %
   % PDF outline support
   %
   % Emulate pdfTeX primitive