diff options
author | Marius <mariausol@gmail.com> | 2011-11-08 16:20:15 +0200 |
---|---|---|
committer | Marius <mariausol@gmail.com> | 2011-11-08 16:20:15 +0200 |
commit | 40471dd95ca8782212c5d63ee5f2085b105ed7e8 (patch) | |
tree | 5fed44546f9fff4ea69168cf16e839b9d7c83e6c /scripts/context/lua | |
parent | e39e55fe08653b79084655b91e468940b9495a59 (diff) | |
download | context-40471dd95ca8782212c5d63ee5f2085b105ed7e8.tar.gz |
beta 2011.11.08 15:20
Diffstat (limited to 'scripts/context/lua')
-rw-r--r-- | scripts/context/lua/mtxrun.lua | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/scripts/context/lua/mtxrun.lua b/scripts/context/lua/mtxrun.lua index 03b51ff02..995e5e814 100644 --- a/scripts/context/lua/mtxrun.lua +++ b/scripts/context/lua/mtxrun.lua @@ -5106,7 +5106,7 @@ function statistics.show(reporter) return lower(status.banner) end) register("control sequences", function() - return format("%s of %s", status.cs_count, status.hash_size+status.hash_extra) + return format("%s of %s + %s", status.cs_count, status.hash_size,status.hash_extra) end) register("callbacks", function() local total, indirect = status.callbacks or 0, status.indirect_callbacks or 0 @@ -5504,6 +5504,8 @@ end if texconfig then + -- this happens too late in ini mode but that is no problem + local function set(k,v) v = tonumber(v) if v then |