From cc05dceeee71ad4433f25cce00130b4ce507c207 Mon Sep 17 00:00:00 2001 From: Marius Date: Mon, 6 Dec 2010 16:40:11 +0200 Subject: beta 2010.12.06 15:24 --- tex/context/base/trac-log.lua | 15 ++++++++++++++- 1 file changed, 14 insertions(+), 1 deletion(-) (limited to 'tex/context/base/trac-log.lua') 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() -- cgit v1.2.3