diff options
| author | Marius <mariausol@gmail.com> | 2014-02-13 13:00:35 +0200 |
|---|---|---|
| committer | Marius <mariausol@gmail.com> | 2014-02-13 13:00:35 +0200 |
| commit | 43b2c43c53673bbaebc0cec57d32c4609c026cd9 (patch) | |
| tree | fe93e87b47c31f163d6042cc27af86d2a990fb28 /tex/context/base/trac-inf.lua | |
| parent | 8c7fab57c5fd2db6b9ade5f7608add9f650c8460 (diff) | |
| download | context-43b2c43c53673bbaebc0cec57d32c4609c026cd9.tar.gz | |
beta 2014.02.13 11:27
Diffstat (limited to 'tex/context/base/trac-inf.lua')
| -rw-r--r-- | tex/context/base/trac-inf.lua | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/tex/context/base/trac-inf.lua b/tex/context/base/trac-inf.lua index 802f2e667..067cff27c 100644 --- a/tex/context/base/trac-inf.lua +++ b/tex/context/base/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) |