diff options
| author | Hans Hagen <pragma@wxs.nl> | 2006-05-28 13:28:00 +0200 |
|---|---|---|
| committer | Hans Hagen <pragma@wxs.nl> | 2006-05-28 13:28:00 +0200 |
| commit | b961771c7114a8181029ad495bded7872687307e (patch) | |
| tree | 5f82edbc37c10f3f01f221e23fa14a2d2bda5d99 /tex/context/base/core-sys.tex | |
| parent | 95324bdc01bb604582f0bd29bc446329b3ad0f18 (diff) | |
| download | context-b961771c7114a8181029ad495bded7872687307e.tar.gz | |
stable 2006.05.28 13:28
Diffstat (limited to 'tex/context/base/core-sys.tex')
| -rw-r--r-- | tex/context/base/core-sys.tex | 32 |
1 files changed, 24 insertions, 8 deletions
diff --git a/tex/context/base/core-sys.tex b/tex/context/base/core-sys.tex index fbf46bb98..3ca2241db 100644 --- a/tex/context/base/core-sys.tex +++ b/tex/context/base/core-sys.tex @@ -107,20 +107,36 @@ %D \stoptext %D \stoptyping +% \def\setuprandomize[#1]% +% {\doifsomething{#1} +% {\bgroup +% \setrandomseed\minusone % signals thrd-ran to reseed +% % tex's time is in minutes +% \processaction +% [#1] +% [ \v!small=>\divide\normaltime 15, % 900, +% \v!medium=>\divide\normaltime 30, % 1800, +% \v!big=>\divide\normaltime 60, % 3600, +% \v!normal=>, +% \s!default=>, +% \s!unknown=>\normaltime=#1]% +% \nextrandom +% \egroup}} + \def\setuprandomize[#1]% {\doifsomething{#1} {\bgroup - \setrandomseed\minusone % signals thrd-ran to reseed % tex's time is in minutes + \scratchcounter\normaltime \processaction [#1] - [ \v!small=>\divide\normaltime 15, % 900, - \v!medium=>\divide\normaltime 30, % 1800, - \v!big=>\divide\normaltime 60, % 3600, - \v!normal=>, - \s!default=>, - \s!unknown=>\normaltime=#1]% - \nextrandom + [ \v!small=>\divide\scratchcounter 15, % 900, + \v!medium=>\divide\scratchcounter 30, % 1800, + \v!big=>\divide\scratchcounter 60, % 3600, + \v!normal=>\getnewrandomseed\scratchcounter, + \s!default=>\getnewrandomseed\scratchcounter, + \s!unknown=>\scratchcounter#1]% + \expanded{\setrandomseed{\the\scratchcounter}}% \egroup}} \setupsystem |