Skip to content
Permalink
Browse files

Don't swallow the delimiter #831

This has a different problem, because \pgfmanual@EOI now ends up in
front of the reinserted delimiter which confuses the syntax highlighter.
  • Loading branch information
hmenke committed Feb 6, 2020
1 parent 314a00a commit 15c943b7a5774c58e45390acdddd36e9f4260607
Showing with 1 addition and 5 deletions.
  1. +1 −5 tex/latex/pgf/doc/pgfmanual.prettyprinter.code.tex
@@ -1069,11 +1069,7 @@
\pgfmanual@pretty@pgfkeys@collectvalue@next
}%
\def\afterpgfmanual@pretty@collectargs@finish@value{%
\pgfutil@ifnextchar\pgfmanual@EOI{%
\pgfmanual@pretty@pgfkeys@loop
}{%
\expandafter\pgfmanual@pretty@pgfkeys@loop\pgfmanualprettyprinterterminator% re-insert the gobbled comma here!
}%
\expandafter\pgfmanual@pretty@pgfkeys@loop\pgfmanualprettyprinterterminator% re-insert the gobbled comma here!
}%

{\catcode`\^^M=13 \catcode`\ =13\relax\catcode`\%=13\relax\gdef\pgfmanual@pretty@restorespaces{\def%{\pgfmanual@pretty@percent}\def^^M{\pgfmanual@pretty@space}\def {\pgfmanual@pretty@space}}}

0 comments on commit 15c943b

Please sign in to comment.
You can’t perform that action at this time.