diff options
author | Philipp Gesang <phg42.2a@gmail.com> | 2014-02-14 18:28:31 +0100 |
---|---|---|
committer | Philipp Gesang <phg42.2a@gmail.com> | 2014-02-14 18:28:31 +0100 |
commit | 5ed9c2a6d45121bdeacdf1c8f4dead50374f0899 (patch) | |
tree | 0e2bbc4ecd17b275133bb89340bbc4218a604b67 /lualibs-trac-inf.lua | |
parent | 43ffeea64e686e25807959575d07162bc8bb02b6 (diff) | |
download | lualibs-5ed9c2a6d45121bdeacdf1c8f4dead50374f0899.tar.gz |
sync with Context as of 2014-02-14
Diffstat (limited to 'lualibs-trac-inf.lua')
-rw-r--r-- | lualibs-trac-inf.lua | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/lualibs-trac-inf.lua b/lualibs-trac-inf.lua index 802f2e6..067cff2 100644 --- a/lualibs-trac-inf.lua +++ b/lualibs-trac-inf.lua @@ -123,7 +123,10 @@ function statistics.show() -- this code will move local register = statistics.register register("used platform", function() - return format("%s, type: %s, binary subtree: %s",os.platform or "unknown",os.type or "unknown", environment.texos or "unknown") + local mask = lua.mask or "ascii" + return format("%s, type: %s, binary subtree: %s, symbol mask: %s (%s)", + os.platform or "unknown",os.type or "unknown", environment.texos or "unknown", + mask,mask == "utf" and "τεχ" or "tex") end) register("luatex banner", function() return lower(status.banner) |