diff options
author | Hans Hagen <pragma@wxs.nl> | 2010-08-19 01:08:00 +0200 |
---|---|---|
committer | Hans Hagen <pragma@wxs.nl> | 2010-08-19 01:08:00 +0200 |
commit | 174663b0081dd76f91c45fd705262a262a7b1f49 (patch) | |
tree | 554d5d47e81a9263e98fe7091be7e4dbd363482b /tex/context/base/font-log.lua | |
parent | e68c228a21a98042c87ef21d9a094b97f941e8de (diff) | |
download | context-174663b0081dd76f91c45fd705262a262a7b1f49.tar.gz |
beta 2010.08.19 01:08
Diffstat (limited to 'tex/context/base/font-log.lua')
-rw-r--r-- | tex/context/base/font-log.lua | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/tex/context/base/font-log.lua b/tex/context/base/font-log.lua index 2e7c53e43..3f9e111b3 100644 --- a/tex/context/base/font-log.lua +++ b/tex/context/base/font-log.lua @@ -12,7 +12,9 @@ local trace_defining = false trackers.register("fonts.defining", function(v) tr local report_define = logs.new("define fonts") +local fonts = fonts fonts.logger = fonts.logger or { } +local logger = fonts.logger --[[ldx-- <p>The following functions are used for reporting about the fonts @@ -21,7 +23,7 @@ we now have several readers it may be handy to know what reader is used for which font.</p> --ldx]]-- -function fonts.logger.save(tfmtable,source,specification) -- save file name in spec here ! ! ! ! ! ! +function logger.save(tfmtable,source,specification) -- save file name in spec here ! ! ! ! ! ! if tfmtable and specification and specification.specification then local name = lower(specification.name) if trace_defining and not fonts.used[name] then @@ -34,7 +36,7 @@ function fonts.logger.save(tfmtable,source,specification) -- save file name in s end end -function fonts.logger.report(complete) +function logger.report(complete) local t = { } for name, used in table.sortedhash(fonts.used) do if complete then @@ -46,13 +48,13 @@ function fonts.logger.report(complete) return t end -function fonts.logger.format(name) +function logger.format(name) return fonts.used[name] or "unknown" end statistics.register("loaded fonts", function() if next(fonts.used) then - local t = fonts.logger.report() + local t = logger.report() return (#t > 0 and format("%s files: %s",#t,concat(t," "))) or "none" else return nil |