diff options
| author | Hans Hagen <pragma@wxs.nl> | 2020-10-31 00:09:22 +0100 |
|---|---|---|
| committer | Context Git Mirror Bot <phg@phi-gamma.net> | 2020-10-31 00:09:22 +0100 |
| commit | 7043cd3b7046f6a11112a5d49c4ae5e2dc0c6896 (patch) | |
| tree | 92ffcd258fb29e37b4a136eb071fbfd0717be29e /tex/context/base/mkiv/page-one.mkiv | |
| parent | a0270f13065d116355a953c6f246cbba26289fc2 (diff) | |
| download | context-7043cd3b7046f6a11112a5d49c4ae5e2dc0c6896.tar.gz | |
2020-10-30 22:27:00
Diffstat (limited to 'tex/context/base/mkiv/page-one.mkiv')
| -rw-r--r-- | tex/context/base/mkiv/page-one.mkiv | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/tex/context/base/mkiv/page-one.mkiv b/tex/context/base/mkiv/page-one.mkiv index ada90eccf..f362a2fab 100644 --- a/tex/context/base/mkiv/page-one.mkiv +++ b/tex/context/base/mkiv/page-one.mkiv @@ -82,7 +82,12 @@ % 1 = partial page, 2 = whole page, 3 = partial page -\setnewconstant\kindofpagetextareas\plustwo % \plusone can become default some day +% We really need a setting! Todo, what key to use? + +\pushoverloadmode + \setnewconstant\kindofpagetextareas\plustwo % \plusone can become default some day + \overloaded\let\kindofpagetextareas\kindofpagetextareas +\popoverloadmode \def\page_one_registered_text_area_a % two arguments: (un)vbox n {\ifconditional\c_page_areas_enabled |