diff options
| author | Hans Hagen <pragma@wxs.nl> | 2009-06-10 11:22:00 +0200 |
|---|---|---|
| committer | Hans Hagen <pragma@wxs.nl> | 2009-06-10 11:22:00 +0200 |
| commit | 1f8c4726d3da14ebb6071bdba5888ebe763329d0 (patch) | |
| tree | a25a7aea1d7c9561afbab306db7971eae12dc71b /tex/context/base/s-pre-19.tex | |
| parent | 5b6956e57c33bd35c0ac1e4118cdb1b183d77499 (diff) | |
| download | context-1f8c4726d3da14ebb6071bdba5888ebe763329d0.tar.gz | |
beta 2009.06.10 11:22
Diffstat (limited to 'tex/context/base/s-pre-19.tex')
| -rw-r--r-- | tex/context/base/s-pre-19.tex | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tex/context/base/s-pre-19.tex b/tex/context/base/s-pre-19.tex index c6ad4f693..dc013d0b3 100644 --- a/tex/context/base/s-pre-19.tex +++ b/tex/context/base/s-pre-19.tex @@ -213,7 +213,6 @@ alternative = 2 : 36pt squeezed squeezeness elseif alternative = 3 : 36pt randomized randomness else : 36pt fi ; - pickup pencircle scaled 3pt ; fill Page withcolor \MPcolor{PageColor} ; @@ -232,7 +231,8 @@ % calls to *_menu_button are generated automatically ... - def right_menu_button (expr nn, rr, pp, xx, yy, ww, hh, dd) = + vardef right_menu_button (expr nn, rr, pp, xx, yy, ww, hh, dd) = + save q ; path q ; if (pp>0) and (rr>0) : q := rightsuperbutton(p,xx,yy,RightEdgeWidth,hh) ; % \MPw{menu:right:\realfolio} fill q withcolor \MPcolor{TextColor} ; |