diff options
| author | Hans Hagen <pragma@wxs.nl> | 2017-05-10 11:26:20 +0200 |
|---|---|---|
| committer | Context Git Mirror Bot <phg42.2a@gmail.com> | 2017-05-10 11:26:20 +0200 |
| commit | fdc4bdf67540ac0b5194641a552903faf9aef3a9 (patch) | |
| tree | 2ba7c74480cf68e70bdc6e7105b70baf7f2049c5 /tex/context/base/mkiv/node-syn.lua | |
| parent | 2498bbe606e7cca22799e33dc29ae5160693b3d8 (diff) | |
| download | context-fdc4bdf67540ac0b5194641a552903faf9aef3a9.tar.gz | |
2017-05-10 10:48:00
Diffstat (limited to 'tex/context/base/mkiv/node-syn.lua')
| -rw-r--r-- | tex/context/base/mkiv/node-syn.lua | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/tex/context/base/mkiv/node-syn.lua b/tex/context/base/mkiv/node-syn.lua index 31243cd60..1b8e07382 100644 --- a/tex/context/base/mkiv/node-syn.lua +++ b/tex/context/base/mkiv/node-syn.lua @@ -67,6 +67,9 @@ local get_synctex_fields = nuts.get_synctex_fields local set_synctex_fields = nuts.set_synctex_fields local set_syntex_tag = nodes.set_synctex_tag +local getcount = tex.getcount +local setcount = tex.setcount + local getpos = function() getpos = backends.codeinjections.getpos return getpos() @@ -480,11 +483,11 @@ local synctex = false directives.register("system.synctex", function(v) if v == "context" then luatex.synctex.enable() - tex.normalsynctex = 0 + setcount("normalsynctex",0) synctex = true else v = tonumber(v) or (toboolean(v,true) and 1) or (v == "zipped" and 1) or (v == "unzipped" and -1) or 0 - tex.normalsynctex = v + setcount("normalsynctex",v) synctex = v ~= 0 end if synctex then @@ -495,7 +498,7 @@ directives.register("system.synctex", function(v) end) statistics.register("synctex tracing",function() - if synctex or tex.normalsynctex ~= 0 then + if synctex or getcount("normalsynctex") ~= 0 then return "synctex has been enabled (extra log file generated)" end end) |