diff options
author | Hans Hagen <pragma@wxs.nl> | 2021-05-16 11:46:45 +0200 |
---|---|---|
committer | Context Git Mirror Bot <phg@phi-gamma.net> | 2021-05-16 11:46:45 +0200 |
commit | 330909ad62342ff873dc758b909968c66d0252a4 (patch) | |
tree | 72b7552cdc6925b962badb33aa9b307d949144b0 /tex/context/modules/common | |
parent | 4396699cb99f42f6378ed7229788bbceb898851a (diff) | |
download | context-330909ad62342ff873dc758b909968c66d0252a4.tar.gz |
2021-05-15 22:44:00
Diffstat (limited to 'tex/context/modules/common')
-rw-r--r-- | tex/context/modules/common/s-obsolete-tokens.mkiv | 22 |
1 files changed, 11 insertions, 11 deletions
diff --git a/tex/context/modules/common/s-obsolete-tokens.mkiv b/tex/context/modules/common/s-obsolete-tokens.mkiv index 0d055049c..117282a60 100644 --- a/tex/context/modules/common/s-obsolete-tokens.mkiv +++ b/tex/context/modules/common/s-obsolete-tokens.mkiv @@ -56,15 +56,15 @@ local report = logs.reporter("tokens","collectors") -- flush : print back to tex -- test : fancy stuff -local get_next = token.scan_next or token.get_next -local create_token = token.create +local get_next_token = tokens.scanners.next +local create_token = tokens.create function collectors.install(tag,end_cs) local data, d = { }, 0 collectordata[tag] = data end_cs = gsub(end_cs,"^\\","") while true do - local t = get_next() + local t = get_next_token() if t.csname == end_cs then context[end_cs]() return @@ -93,20 +93,20 @@ function collectors.show(data) local ctx_verbatim = context.verbatim local function show(data) for i=1,#data do - local token = data[i] - if type(token) == "table" then - show(token) + local tok = data[i] + if type(tok) == "table" then + show(tok) else - local cmdname = token.cmdname + local cmdname = tok.cmdname local simple = simple[cmdname] ctx_NC() ctx_verbatim(simple or cmdname) ctx_NC() - ctx_verbatim(simple and utfchar(token.index) or token.csname) + ctx_verbatim(simple and utfchar(tok.index) or tok.csname) ctx_NC() - if token.active then context("active ") end - if token.expandable then context("expandable ") end - if token.protected then context("protected ") end + if tok.active then context("active ") end + if tok.expandable then context("expandable ") end + if tok.protected then context("protected ") end ctx_NC() ctx_NR() end |