diff options
author | Context Git Mirror Bot <phg42.2a@gmail.com> | 2015-12-20 01:15:06 +0100 |
---|---|---|
committer | Context Git Mirror Bot <phg42.2a@gmail.com> | 2015-12-20 01:15:06 +0100 |
commit | a9a87aa3826a570e763dc287ca0238ead2fddf6e (patch) | |
tree | 47d6567183294e026b5805587a4b492274599667 /tex/context/base/luat-run.lua | |
parent | 453a6f82b92732509a1271e978c9fa7148be9d20 (diff) | |
download | context-a9a87aa3826a570e763dc287ca0238ead2fddf6e.tar.gz |
2015-12-20 00:31:00
Diffstat (limited to 'tex/context/base/luat-run.lua')
-rw-r--r-- | tex/context/base/luat-run.lua | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tex/context/base/luat-run.lua b/tex/context/base/luat-run.lua index 65cf0f338..54450b28d 100644 --- a/tex/context/base/luat-run.lua +++ b/tex/context/base/luat-run.lua @@ -136,7 +136,7 @@ local synctex = 0 directives.register("system.synctex", function(v) synctex = tonumber(v) or (toboolean(v,true) and 1) or (v == "zipped" and 1) or (v == "unzipped" and -1) or 0 if synctex ~= 0 then - report_system("synctex functionality is enabled (%s)!",tostring(synctex)) + report_system("synctex functionality is enabled (%s), expect runtime overhead!",tostring(synctex)) else report_system("synctex functionality is disabled!") end |