diff options
| author | Marius <mariausol@gmail.com> | 2011-07-13 23:40:25 +0300 |
|---|---|---|
| committer | Marius <mariausol@gmail.com> | 2011-07-13 23:40:25 +0300 |
| commit | 3dd416f677074c27a248e3433695a6fe8c13ef69 (patch) | |
| tree | 20c4a573a64f2079e2e3d3fe93b004af3caf7b2f /tex/context/base/luat-run.lua | |
| parent | 1ea50dab7f30289214b661f2cbcf53e97e6af0b6 (diff) | |
| download | context-3dd416f677074c27a248e3433695a6fe8c13ef69.tar.gz | |
beta 2011.07.13 20:14
Diffstat (limited to 'tex/context/base/luat-run.lua')
| -rw-r--r-- | tex/context/base/luat-run.lua | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/tex/context/base/luat-run.lua b/tex/context/base/luat-run.lua index 51856640d..ce25d1f55 100644 --- a/tex/context/base/luat-run.lua +++ b/tex/context/base/luat-run.lua @@ -138,13 +138,14 @@ directives.register("system.synctex", function(v) else report_system("synctex functionality is disabled!") end - -- current this is bugged: + -- currently this is bugged: tex.synctex = synctex and 1 or 0 -- so for the moment we need: + context.normalsynctex() if synctex then - tex.print("\\normalsynctex\\plusone") + context.plusone() else - tex.print("\\normalsynctex\\zerocount") + context.zerocount() end end) |