diff options
author | Hans Hagen <pragma@wxs.nl> | 2021-12-03 15:33:58 +0100 |
---|---|---|
committer | Context Git Mirror Bot <phg@phi-gamma.net> | 2021-12-03 15:33:58 +0100 |
commit | 9c5a6d1bc8ad88a74f8d5243ed057819ce6bec2d (patch) | |
tree | b401a140de2a7832b8288908fc4c4ea2deda4361 /tex/context/base/mkxl/typo-bld.lmt | |
parent | 9ebf314056d5adab360cfd796925cf9e73c2bcce (diff) | |
download | context-9c5a6d1bc8ad88a74f8d5243ed057819ce6bec2d.tar.gz |
2021-12-03 15:19:00
Diffstat (limited to 'tex/context/base/mkxl/typo-bld.lmt')
-rw-r--r-- | tex/context/base/mkxl/typo-bld.lmt | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/tex/context/base/mkxl/typo-bld.lmt b/tex/context/base/mkxl/typo-bld.lmt index 31cc0bb59..9c83adede 100644 --- a/tex/context/base/mkxl/typo-bld.lmt +++ b/tex/context/base/mkxl/typo-bld.lmt @@ -231,10 +231,10 @@ end -- the check can go away -- Todo: contrib_head can be any head (kind of) not per se the page one so maybe I will --- intercept that in the engine with page_contribute_head or so. +-- intercept that in the engine with contributehead or so. function builders.buildpage_filter(groupcode) - local head = texlists.contribute_head + local head = texlists.contributehead if head then local done = false -- called quite often ... maybe time to remove timing @@ -246,8 +246,8 @@ function builders.buildpage_filter(groupcode) stoptiming(builders) -- -- doesn't work here (not passed on?) -- texset("pagegoal,texget("vsize") - texgetdimen("d_page_floats_inserted_top") - texgetdimen("d_page_floats_inserted_bottom") - texlists.contribute_head = head or nil -- needs checking - -- tex.setlist("contribute_head",head,head and nodes.tail(head)) + texlists.contributehead = head or nil -- needs checking + -- tex.setlist("contributehead",head,head and nodes.tail(head)) return done and head or true -- no return value needed else -- happens quite often |