diff options
author | Hans Hagen <pragma@wxs.nl> | 2022-12-15 19:13:44 +0100 |
---|---|---|
committer | Context Git Mirror Bot <phg@phi-gamma.net> | 2022-12-15 19:13:44 +0100 |
commit | 8f472c629a996f1c08281198210354a253d7f56b (patch) | |
tree | 26f5fa0bda520d7ea9e87947df6978b9085a7d58 /tex/context/base/mkxl/toks-aux.lmt | |
parent | 3bdc9b9072bba774cd5c604fe185d39ddbdc911e (diff) | |
download | context-8f472c629a996f1c08281198210354a253d7f56b.tar.gz |
2022-12-15 17:52:00
Diffstat (limited to 'tex/context/base/mkxl/toks-aux.lmt')
-rw-r--r-- | tex/context/base/mkxl/toks-aux.lmt | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tex/context/base/mkxl/toks-aux.lmt b/tex/context/base/mkxl/toks-aux.lmt index c152afb36..83e714d77 100644 --- a/tex/context/base/mkxl/toks-aux.lmt +++ b/tex/context/base/mkxl/toks-aux.lmt @@ -44,6 +44,7 @@ local function flags(t) if t.instance then r[#r+1] = "instance" end if t.tolerant then r[#r+1] = "tolerant" end if t.protected then r[#r+1] = "protected" end + if t.constant then r[#r+1] = "constant" end return r end @@ -119,6 +120,7 @@ interfaces.implement { elseif cn == "letter" or cn == "other char" then wr(f3(id,cd,ix,cn,ix)) elseif cn == "match" then + -- needs checking for additions local s if ix == 32 then s = "optional spacer" -- space elseif ix == 42 then s = "skip spaces" -- * |