diff options
author | Marius <mariausol@gmail.com> | 2011-02-04 20:40:13 +0200 |
---|---|---|
committer | Marius <mariausol@gmail.com> | 2011-02-04 20:40:13 +0200 |
commit | bb66aa068077405ae304ab6defc770b2b3222b9f (patch) | |
tree | c5adaabc55d3fecb2ad6cd51514d61a4a4da0655 /tex/context/base/luat-run.lua | |
parent | 39db6b1351a394a7510d41c1df0a16e1b04ed8b8 (diff) | |
download | context-bb66aa068077405ae304ab6defc770b2b3222b9f.tar.gz |
beta 2011.02.04 19:31
Diffstat (limited to 'tex/context/base/luat-run.lua')
-rw-r--r-- | tex/context/base/luat-run.lua | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/tex/context/base/luat-run.lua b/tex/context/base/luat-run.lua index 77147c862..5bccfee7e 100644 --- a/tex/context/base/luat-run.lua +++ b/tex/context/base/luat-run.lua @@ -127,7 +127,14 @@ directives.register("system.synctex", function(v) else report_system("synctex functionality is disabled!") end + -- current this is bugged: tex.synctex = synctex and 1 or 0 + -- so for the moment we need: + if synctex then + tex.print("\\normalsynctex\\plusone") + else + tex.print("\\normalsynctex\\zerocount") + end end) statistics.register("synctex tracing",function() |