diff options
author | Hans Hagen <pragma@wxs.nl> | 2018-05-19 22:19:19 +0200 |
---|---|---|
committer | Context Git Mirror Bot <phg42.2a@gmail.com> | 2018-05-19 22:19:19 +0200 |
commit | 6a68bb9d4e7e8454b031143b9cd14edf3702a68d (patch) | |
tree | 14cb116ce0f1adc4459d6cea9aee07cacd3541fd /tex/context/base/mkiv/mlib-run.lua | |
parent | 2e8819dad63db17febca68fd6b7ba9a06f9c50b5 (diff) | |
download | context-6a68bb9d4e7e8454b031143b9cd14edf3702a68d.tar.gz |
2018-05-19 21:51:00
Diffstat (limited to 'tex/context/base/mkiv/mlib-run.lua')
-rw-r--r-- | tex/context/base/mkiv/mlib-run.lua | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/tex/context/base/mkiv/mlib-run.lua b/tex/context/base/mkiv/mlib-run.lua index 18bc7e4da..d1d76eb36 100644 --- a/tex/context/base/mkiv/mlib-run.lua +++ b/tex/context/base/mkiv/mlib-run.lua @@ -39,6 +39,7 @@ local P = lpeg.P local trace_graphics = false trackers.register("metapost.graphics", function(v) trace_graphics = v end) local trace_tracingall = false trackers.register("metapost.tracingall", function(v) trace_tracingall = v end) +local trace_btexetex = false trackers.register("metapost.btexetex", function(v) trace_btexetex = v end) local report_metapost = logs.reporter("metapost") local texerrormessage = logs.texerrormessage @@ -212,9 +213,13 @@ local f_textext = formatters[ [[rawtextext("%s")]] ] function metapost.maketext(s,mode) if mode and mode == 1 then - -- report_metapost("ignoring verbatimtex: %s",s) + if trace_btexetex then + report_metapost("ignoring verbatimtex: [[%s]]",s) + end else - -- report_metapost("handling btex ... etex: %s",s) + if trace_btexetex then + report_metapost("handling btex ... etex: [[%s]]",s) + end s = gsub(s,'"','"&ditto&"') return f_textext(s) end |