diff options
Diffstat (limited to 'tex/context/base/trac-log.lua')
| -rw-r--r-- | tex/context/base/trac-log.lua | 15 |
1 files changed, 14 insertions, 1 deletions
diff --git a/tex/context/base/trac-log.lua b/tex/context/base/trac-log.lua index 4a77087f5..6160e1b0f 100644 --- a/tex/context/base/trac-log.lua +++ b/tex/context/base/trac-log.lua @@ -78,7 +78,6 @@ end --~ local report = logs.new("fonts") - -- nop logging (maybe use __call instead) local noplog = { } logs.nop = noplog setmetatable(logs, { __index = noplog }) @@ -120,6 +119,20 @@ function texlog.line(fmt,...) -- new end end +--~ local hasscheme = url.hasscheme + +--~ function texlog.show_open(name) +--~ if hasscheme(name) ~= "virtual" then +--~ write(format("(",name)) -- tex adds a space +--~ end +--~ end + +--~ function texlog.show_close(name) +--~ if hasscheme(name) ~= "virtual" then +--~ write(")") -- tex adds a space +--~ end +--~ end + local real, user, sub function texlog.start_page_number() |