diff options
| author | Marius <mariausol@gmail.com> | 2013-03-21 15:00:17 +0200 |
|---|---|---|
| committer | Marius <mariausol@gmail.com> | 2013-03-21 15:00:17 +0200 |
| commit | 6bb39561d4571fb85aac56a686b837a9f3c910cd (patch) | |
| tree | 87f9b55ac771b742532fec258c637c0b15ec7dae /tex/context/base/luat-run.lua | |
| parent | 41df6a896ad3ab1d8bb6286423e9540b2b34f576 (diff) | |
| download | context-6bb39561d4571fb85aac56a686b837a9f3c910cd.tar.gz | |
beta 2013.03.21 13:42
Diffstat (limited to 'tex/context/base/luat-run.lua')
| -rw-r--r-- | tex/context/base/luat-run.lua | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/tex/context/base/luat-run.lua b/tex/context/base/luat-run.lua index 34d45d096..eaede1030 100644 --- a/tex/context/base/luat-run.lua +++ b/tex/context/base/luat-run.lua @@ -139,8 +139,9 @@ directives.register("system.synctex", function(v) else report_system("synctex functionality is disabled!") end + synctex = tonumber(synctex) or (toboolean(synctex,true) and 1) or (synctex == "zipped" and 1) or (synctex == "unzipped" and -1) or false -- currently this is bugged: - tex.synctex = synctex and 1 or 0 + tex.synctex = synctex -- so for the moment we need: context.normalsynctex() if synctex then @@ -151,7 +152,7 @@ directives.register("system.synctex", function(v) end) statistics.register("synctex tracing",function() - if synctex or tex.synctex > 0 then + if synctex or tex.synctex ~= 0 then return "synctex has been enabled (extra log file generated)" end end) |