diff options
author | Hans Hagen <pragma@wxs.nl> | 2019-07-24 13:08:53 +0200 |
---|---|---|
committer | Context Git Mirror Bot <phg@phi-gamma.net> | 2019-07-24 13:08:53 +0200 |
commit | 47852e5715e7c0374bb6bc173c1728908549e1ed (patch) | |
tree | e6df8c61ffb0aadfabbca7e9a33f10d1b61bde68 /tex/context/base/mkiv/lang-rep.lua | |
parent | a92a8d40ce567ecf5b0baacd9a93a94aac9a4a2d (diff) | |
download | context-47852e5715e7c0374bb6bc173c1728908549e1ed.tar.gz |
2019-07-24 11:24:00
Diffstat (limited to 'tex/context/base/mkiv/lang-rep.lua')
-rw-r--r-- | tex/context/base/mkiv/lang-rep.lua | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/tex/context/base/mkiv/lang-rep.lua b/tex/context/base/mkiv/lang-rep.lua index 93509d82a..d0f6f6d5f 100644 --- a/tex/context/base/mkiv/lang-rep.lua +++ b/tex/context/base/mkiv/lang-rep.lua @@ -34,8 +34,8 @@ local splitter = Ct(( local stripper = P("{") * Cs((1-P(-2))^0) * P("}") * P(-1) -local trace_replacements = false trackers.register("languages.replacements", function(v) trace_replacements = v end) -local trace_detail = false trackers.register("languages.replacements.detail", function(v) trace_detail = v end) +local trace_replacements = false trackers.register("languages.replacements", function(v) trace_replacements = v end) +local trace_details = false trackers.register("languages.replacements.details", function(v) trace_details = v end) local report_replacement = logs.reporter("languages","replacements") @@ -179,7 +179,7 @@ local function hit(a,head) else local final = newroot.final if final then - if trace_detail then + if trace_details then report_replacement("hitting word %a, replacement %a",final.word,final.replacement) end lastrun = current |