diff options
author | Norbert Preining <norbert@preining.info> | 2019-12-20 03:00:48 +0000 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2019-12-20 03:00:48 +0000 |
commit | 18d9ec0eba21e6b8c55cdd50afb91c56e02ce7bf (patch) | |
tree | 56de5f55a6575a68557d5a384f57e3e8566c536d /graphics/pgf/base/doc/text-en/pgfmanual-en-pgfkeysfiltered.tex | |
parent | 3b24b0599bb35e1a3338fa33bfb24044a6125ba4 (diff) |
CTAN sync 201912200300
Diffstat (limited to 'graphics/pgf/base/doc/text-en/pgfmanual-en-pgfkeysfiltered.tex')
-rw-r--r-- | graphics/pgf/base/doc/text-en/pgfmanual-en-pgfkeysfiltered.tex | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/graphics/pgf/base/doc/text-en/pgfmanual-en-pgfkeysfiltered.tex b/graphics/pgf/base/doc/text-en/pgfmanual-en-pgfkeysfiltered.tex index d93c8b8c0e..2c08141ea2 100644 --- a/graphics/pgf/base/doc/text-en/pgfmanual-en-pgfkeysfiltered.tex +++ b/graphics/pgf/base/doc/text-en/pgfmanual-en-pgfkeysfiltered.tex @@ -25,6 +25,7 @@ supports family groupings and more abstract key selection mechanism with |\pgfkeysfiltered|, a variant of |\pgfkeys|. Suppose we have the example key grouping +\begin{codeexample}[setup code,hidden] \pgfkeys{ /my group/A1/.code=(A1:#1), /my group/A2/.code=(A2:#1), @@ -37,7 +38,9 @@ grouping /my group/A3/.belongs to family=/my group/A, /pgf/key filters/active families/.install key filter, /my group/A/.activate family, -}% +} +\end{codeexample} +% \begin{codeexample}[code only] \pgfkeys{ /my group/A1/.code=(A1:#1), |