summaryrefslogtreecommitdiff
path: root/tex/context/base/trac-log.lua
diff options
context:
space:
mode:
authorMarius <mariausol@gmail.com>2010-12-06 16:40:11 +0200
committerMarius <mariausol@gmail.com>2010-12-06 16:40:11 +0200
commitcc05dceeee71ad4433f25cce00130b4ce507c207 (patch)
tree0f3c3d138b57f7bce4f32ec2703caaaf8dbe79fe /tex/context/base/trac-log.lua
parentc06e4e00885df7a7e679311a36059669caaa1435 (diff)
downloadcontext-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.lua15
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()