diff options
Diffstat (limited to 'tex/context/base/core-def.mkii')
| -rw-r--r-- | tex/context/base/core-def.mkii | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/tex/context/base/core-def.mkii b/tex/context/base/core-def.mkii index e51cd96d3..bcf8d6b9d 100644 --- a/tex/context/base/core-def.mkii +++ b/tex/context/base/core-def.mkii @@ -81,4 +81,16 @@ \ifx\writetolistfalse \undefined \else \appendtoks \writetolistfalse \to \everybeforeutilityread \fi \ifx\notesenabledfalse \undefined \else \appendtoks \notesenabledfalse \to \everybeforeutilityread \fi +\def\synctexwarning + {\ifdefined\synctex \ifnum\synctex=\zerocount \else + \writeline + \writestatus\m!systems{BEWARE: syntex functionality is enabled!}% + \writeline + \globallet\synctexwarning\relax + \fi \fi} + +\prependtoks \synctexwarning \to \everyjob +\prependtoks \synctexwarning \to \everystarttext +\appendtoks \synctexwarning \to \everystoptext + \protect \endinput |