diff options
| author | Hans Hagen <pragma@wxs.nl> | 2018-02-25 20:49:38 +0100 |
|---|---|---|
| committer | Context Git Mirror Bot <phg42.2a@gmail.com> | 2018-02-25 20:49:38 +0100 |
| commit | 2d50de713c23ec150dab395dcbce69b854db2d58 (patch) | |
| tree | 7f071526a9f838d07b66837ef15864c17628b03a /tex/generic/context/luatex/luatex-gadgets.lua | |
| parent | 661fb34ced40815e1e5e9073de9c8475127da094 (diff) | |
| download | context-2d50de713c23ec150dab395dcbce69b854db2d58.tar.gz | |
2018-02-25 19:57:00
Diffstat (limited to 'tex/generic/context/luatex/luatex-gadgets.lua')
| -rw-r--r-- | tex/generic/context/luatex/luatex-gadgets.lua | 17 |
1 files changed, 7 insertions, 10 deletions
diff --git a/tex/generic/context/luatex/luatex-gadgets.lua b/tex/generic/context/luatex/luatex-gadgets.lua index 8c835babb..60c21427d 100644 --- a/tex/generic/context/luatex/luatex-gadgets.lua +++ b/tex/generic/context/luatex/luatex-gadgets.lua @@ -16,14 +16,13 @@ gadgets = gadgets or { } -- global namespace -- marking content for optional removal -local marking = { } -gadgets.marking = marking +local marking = { } +gadgets.marking = marking -local marksignal = 5001 -- will be set in the tex module -local lastmarked = 0 -local marked = { } -local local_par = 6 -local whatsit_node = 8 +local marksignal = 5001 -- will be set in the tex module +local lastmarked = 0 +local marked = { } +local local_par_code = 9 function marking.setsignal(n) marksignal = tonumber(n) or marksignal @@ -53,9 +52,7 @@ function marking.remove(str) local first = last while true do local prev = first.prev - if not prev - or prev[marksignal] ~= attr - or (prev.id == whatsit_node and prev.subtype == local_par) then + if not prev or prev[marksignal] ~= attr or prev.id == local_par_code then break else first = prev |