diff options
author | Marius <mariausol@gmail.com> | 2010-08-19 10:29:42 +0300 |
---|---|---|
committer | Marius <mariausol@gmail.com> | 2010-08-19 10:29:42 +0300 |
commit | 7d7e0d3c8d778650105cfb479f31a2bb54d69d50 (patch) | |
tree | e0c4e7d8bf466a70af56be02a0de703bbd09a5af /tex/context/base/trac-tex.lua | |
parent | b469b8ec1b494ab72cd462bfc539ce01440e6aaf (diff) | |
download | context-7d7e0d3c8d778650105cfb479f31a2bb54d69d50.tar.gz |
beta 2010.08.19 01:08
Diffstat (limited to 'tex/context/base/trac-tex.lua')
-rw-r--r-- | tex/context/base/trac-tex.lua | 12 |
1 files changed, 8 insertions, 4 deletions
diff --git a/tex/context/base/trac-tex.lua b/tex/context/base/trac-tex.lua index 914769c7f..8435efafd 100644 --- a/tex/context/base/trac-tex.lua +++ b/tex/context/base/trac-tex.lua @@ -8,14 +8,18 @@ if not modules then modules = { } end modules ['trac-hsh'] = { -- moved from trac-deb.lua +local texhashtokens = tex.hashtokens + +local trackers = trackers + local saved = { } function trackers.save_hash() - saved = tex.hashtokens() + saved = texhashtokens() end function trackers.dump_hash(filename,delta) - local list, hash, command_name = { }, tex.hashtokens(), token.command_name + local list, hash, command_name = { }, texhashtokens(), token.command_name for name, token in next, hash do if not delta or not saved[name] then -- token: cmd, chr, csid -- combination cmd,chr determines name @@ -37,8 +41,8 @@ local delta = nil local function dump_hash(wanteddelta) if delta == nil then - saved = saved or tex.hashtokens() - luatex.register_stop_actions(1,function() trackers.dump_hash(nil,wanteddelta) end) -- at front + saved = saved or texhashtokens() -- no need for trackers.dump_hash + luatex.register_stop_actions(1,function() dump_hash(nil,wanteddelta) end) -- at front end delta = wanteddelta end |