diff options
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), |