diff options
author | Hans Hagen <pragma@wxs.nl> | 2018-02-12 10:25:10 +0100 |
---|---|---|
committer | Context Git Mirror Bot <phg42.2a@gmail.com> | 2018-02-12 10:25:10 +0100 |
commit | e005748401471273a119724acf5e1567f2a04eee (patch) | |
tree | faa325320cbce7a475dd19050e9dcb79c8c71d4f /tex/context/base/mkiv/luat-run.lua | |
parent | f4c9d2d305f1214a144fcb23a66964761583234a (diff) | |
download | context-e005748401471273a119724acf5e1567f2a04eee.tar.gz |
2018-02-12 09:01:00
Diffstat (limited to 'tex/context/base/mkiv/luat-run.lua')
-rw-r--r-- | tex/context/base/mkiv/luat-run.lua | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/tex/context/base/mkiv/luat-run.lua b/tex/context/base/mkiv/luat-run.lua index f653e258f..2c3ba0b4d 100644 --- a/tex/context/base/mkiv/luat-run.lua +++ b/tex/context/base/mkiv/luat-run.lua @@ -133,7 +133,13 @@ callbacks.register('process_input_buffer', false, "actions perf callbacks.register('process_output_buffer', false, "actions performed when writing data") callbacks.register("pre_dump", pre_dump_actions, "lua related finalizers called before we dump the format") -- comes after \everydump -callbacks.register("finish_synctex_callback", wrapup_synctex, "rename temporary synctex file") + +if LUATEXFUNCTIONALITY and LUATEXFUNCTIONALITY > 6505 then + callbacks.register("finish_synctex", wrapup_synctex, "rename temporary synctex file") + callbacks.register('wrapup_run', false, "actions performed after closing files") +else + callbacks.register("finish_synctex_callback", wrapup_synctex, "rename temporary synctex file") +end -- an example: |