diff options
author | Hans Hagen <pragma@wxs.nl> | 2017-11-22 15:35:23 +0100 |
---|---|---|
committer | Context Git Mirror Bot <phg42.2a@gmail.com> | 2017-11-22 15:35:23 +0100 |
commit | 409a95f63883bd3b91699d39645e39a8a761457c (patch) | |
tree | e15b7563c06ea0a5a8c2a148f3ef04db5c841f69 /tex/context/base/mkiv/node-syn.lua | |
parent | 5b9683a8f29dd473e17502aa1746a6bcc3036fe3 (diff) | |
download | context-409a95f63883bd3b91699d39645e39a8a761457c.tar.gz |
2017-11-22 13:41:00
Diffstat (limited to 'tex/context/base/mkiv/node-syn.lua')
-rw-r--r-- | tex/context/base/mkiv/node-syn.lua | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/tex/context/base/mkiv/node-syn.lua b/tex/context/base/mkiv/node-syn.lua index d6730bb4d..d8320e3b3 100644 --- a/tex/context/base/mkiv/node-syn.lua +++ b/tex/context/base/mkiv/node-syn.lua @@ -205,6 +205,12 @@ local enabled = false local paused = 0 local used = false +-- get rid of overhead + +if tex.set_synctex_no_files then + tex.set_synctex_no_files(1) +end + -- the file name stuff local noftags = 0 |