diff options
| author | Hans Hagen <pragma@wxs.nl> | 2003-03-03 00:00:00 +0100 |
|---|---|---|
| committer | Hans Hagen <pragma@wxs.nl> | 2003-03-03 00:00:00 +0100 |
| commit | 76c1d3fbb08e9b34c68f4b326b538f5802802500 (patch) | |
| tree | 7a2111798bfa0ac208caa249510c8135dace8059 /tex/context/base/supp-mps.tex | |
| parent | 94506ae16cbb3851986ebf900316894301f46667 (diff) | |
| download | context-76c1d3fbb08e9b34c68f4b326b538f5802802500.tar.gz | |
stable 2003.03.03
Diffstat (limited to 'tex/context/base/supp-mps.tex')
| -rw-r--r-- | tex/context/base/supp-mps.tex | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/tex/context/base/supp-mps.tex b/tex/context/base/supp-mps.tex index 05442dc25..483084c3c 100644 --- a/tex/context/base/supp-mps.tex +++ b/tex/context/base/supp-mps.tex @@ -230,7 +230,7 @@ \ifx \overlayheight \undefined \def \overlayheight {3cm} \fi \ifx \overlaylinewidth \undefined \def \overlaylinewidth {0pt} \fi -\def\presetMPdefinitions% +\def\presetMPdefinitions {\edef\overlaywidth {\overlaywidth \space}% \edef\overlayheight {\overlayheight \space}% \edef\overlaylinewidth {\overlaylinewidth\space}% @@ -470,11 +470,11 @@ \xdef\MPgraphic{\the\currentMPgraphic}% \the\everyMPgraphic \ifrunMPgraphics - \openMPgraphicfile{1}{runtime}% + \openMPgraphicfile1{runtime}% % no reset here ! \theMPinclusions \else - \openMPgraphicfile{0}{collected}% + \openMPgraphicfile0{collected}% % reset here ! global added (due to adding \blabelgroup) \theMPinclusions \global\let\theMPinclusions\relax @@ -595,7 +595,7 @@ \newif\ifsetMPrandomseed \setMPrandomseedtrue % false by default -\def\setMPrandomseed% +\def\setMPrandomseed {\ifsetMPrandomseed \ifx\getrandomnumber\undefined \else \getrandomnumber\localMPseed{0}{4095}% \writeMPgraphic{randomseed := \localMPseed ;}% |