diff options
| author | Context Git Mirror Bot <phg42.2a@gmail.com> | 2015-03-25 23:15:05 +0100 |
|---|---|---|
| committer | Context Git Mirror Bot <phg42.2a@gmail.com> | 2015-03-25 23:15:05 +0100 |
| commit | 41d38174b1d78e7f96dcb94434bf58d10ad08c1a (patch) | |
| tree | 77e9d05fe143f7ef7e466ec88f00f3548b1bae48 /tex/context/base/font-ctx.lua | |
| parent | 51ca6df7d66393551bdf02032b990144e94c497b (diff) | |
| download | context-41d38174b1d78e7f96dcb94434bf58d10ad08c1a.tar.gz | |
2015-03-25 22:16:00
Diffstat (limited to 'tex/context/base/font-ctx.lua')
| -rw-r--r-- | tex/context/base/font-ctx.lua | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/tex/context/base/font-ctx.lua b/tex/context/base/font-ctx.lua index a7f915023..9f5559290 100644 --- a/tex/context/base/font-ctx.lua +++ b/tex/context/base/font-ctx.lua @@ -955,8 +955,11 @@ do -- else too many locals local ctx_setsomefontsize = context.fntsetsomesize local ctx_letvaluerelax = context.letvaluerelax + local starttiming = statistics.starttiming + local stoptiming = statistics.stoptiming + function commands.definefont_one(str) - statistics.starttiming(fonts) + starttiming(fonts) if trace_defining then report_defining("memory usage before: %s",statistics.memused()) report_defining("start stage one: %s",str) @@ -1186,7 +1189,7 @@ do -- else too many locals lastmathids[mathsize] = lastfontid end -- - statistics.stoptiming(fonts) + stoptiming(fonts) end function definers.define(specification) @@ -1195,7 +1198,7 @@ do -- else too many locals if not name or name == "" then return -1 else - statistics.starttiming(fonts) + starttiming(fonts) -- -- following calls expect a few properties to be set: -- @@ -1251,7 +1254,7 @@ do -- else too many locals constructors.finalize(tfmdata) return id, tfmdata end - statistics.stoptiming(fonts) + stoptiming(fonts) end end |