diff options
author | Karl Berry <karl@freefriends.org> | 2015-08-08 22:54:29 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2015-08-08 22:54:29 +0000 |
commit | 531d43fafa269c546d587eaca6cd14adcd11914f (patch) | |
tree | 1883933af984c60254e6d9d1bd955a76748cb827 /Master/texmf-dist/doc/generic/pgf/text-en/pgfmanual-en-pgfkeys.tex | |
parent | 877e963d44f039783cb9227d90c911866c780961 (diff) |
pgf (8aug15)
git-svn-id: svn://tug.org/texlive/trunk@38079 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/doc/generic/pgf/text-en/pgfmanual-en-pgfkeys.tex')
-rw-r--r-- | Master/texmf-dist/doc/generic/pgf/text-en/pgfmanual-en-pgfkeys.tex | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/Master/texmf-dist/doc/generic/pgf/text-en/pgfmanual-en-pgfkeys.tex b/Master/texmf-dist/doc/generic/pgf/text-en/pgfmanual-en-pgfkeys.tex index 25825dc52c7..423fac92e88 100644 --- a/Master/texmf-dist/doc/generic/pgf/text-en/pgfmanual-en-pgfkeys.tex +++ b/Master/texmf-dist/doc/generic/pgf/text-en/pgfmanual-en-pgfkeys.tex @@ -507,7 +507,8 @@ following happens: \begin{enumerate} \item The input is replaced by \meta{key}|=\pgfkeysnovalue|. In particular, the commands |\pgfkeys{my key}| and - |\pgfkeys{my key=\pgfkeysnovalue}| have exactly the same effect and + % FIXME : there is a bug in the pretty printer ... fix it and get rid of '||' here: + |\pgfkeys{my key=||\pgfkeysnovalue}| have exactly the same effect and you can ``simulate'' a missing value by providing the value |\pgfkeysnovalue|, which is sometimes useful. \item If the \meta{value} is |\pgfkeysnovalue|, then it is checked @@ -1609,7 +1610,8 @@ inspecting things: \begin{key}{/utils/exec=\meta{code}} This key will simply execute the given \meta{code}. - \example |\pgfkeys{some key=some value,/utils/exec=\show\hallo,obscure key=obscure}| + % FIXME : there is a bug in the pretty printer ... fix it! + \example \verb|\pgfkeys{some key=some value,/utils/exec=\show\hallo,obscure key=obscure}| \end{key} |