diff options
author | Marius <mariausol@gmail.com> | 2011-02-04 11:20:15 +0200 |
---|---|---|
committer | Marius <mariausol@gmail.com> | 2011-02-04 11:20:15 +0200 |
commit | 39db6b1351a394a7510d41c1df0a16e1b04ed8b8 (patch) | |
tree | 32e4314bd0b9e96398ce206f7ebd4dae1bd2a02b /tex/context/base/luat-run.lua | |
parent | 9f01e839943b3edf71e6272d9d9e40d9cb74d2ee (diff) | |
download | context-39db6b1351a394a7510d41c1df0a16e1b04ed8b8.tar.gz |
beta 2011.02.04 10:01
Diffstat (limited to 'tex/context/base/luat-run.lua')
-rw-r--r-- | tex/context/base/luat-run.lua | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/tex/context/base/luat-run.lua b/tex/context/base/luat-run.lua index 580137d8a..77147c862 100644 --- a/tex/context/base/luat-run.lua +++ b/tex/context/base/luat-run.lua @@ -113,3 +113,25 @@ function luatex.cleanuptempfiles() end luatex.registerstopactions(luatex.cleanuptempfiles) + +-- for the moment here + +local synctex = false + +local report_system = logs.new("system") + +directives.register("system.synctex", function(v) + synctex = v + if v then + report_system("synctex functionality is enabled!") + else + report_system("synctex functionality is disabled!") + end + tex.synctex = synctex and 1 or 0 +end) + +statistics.register("synctex tracing",function() + if synctex or tex.synctex > 0 then + return "syntex has been enabled (extra log file generated)" + end +end) |