diff options
author | Marius <mariausol@gmail.com> | 2010-12-06 16:40:11 +0200 |
---|---|---|
committer | Marius <mariausol@gmail.com> | 2010-12-06 16:40:11 +0200 |
commit | cc05dceeee71ad4433f25cce00130b4ce507c207 (patch) | |
tree | 0f3c3d138b57f7bce4f32ec2703caaaf8dbe79fe /tex/context/base/trac-log.lua | |
parent | c06e4e00885df7a7e679311a36059669caaa1435 (diff) | |
download | context-cc05dceeee71ad4433f25cce00130b4ce507c207.tar.gz |
beta 2010.12.06 15:24
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() |