<div dir="ltr"><div class="gmail_default" style="font-family:"trebuchet ms",sans-serif">Hi!</div><div class="gmail_default" style="font-family:"trebuchet ms",sans-serif"><br></div><div class="gmail_default" style="font-family:"trebuchet ms",sans-serif">I would like to turn synctex off for 2 reasons:</div><div class="gmail_default" style="font-family:"trebuchet ms",sans-serif"><br></div><div class="gmail_default" style="font-family:"trebuchet ms",sans-serif">1. I am currently working on a very big project and the time that it adds to typesetting really adds up over the course of a day.</div><div class="gmail_default" style="font-family:"trebuchet ms",sans-serif">2. It is not working anyway—that is, clicking in the source or preview does nothing but kick up a contextual menu with a “Sync” option that does not seem to work.</div><div class="gmail_default" style="font-family:"trebuchet ms",sans-serif"><br></div><div class="gmail_default" style="font-family:"trebuchet ms",sans-serif">I am using TeXShop 3.89 while running macos 10.13.1. I use ConTeXt for typesetting itself.</div><div class="gmail_default" style="font-family:"trebuchet ms",sans-serif"><br></div><div class="gmail_default" style="font-family:"trebuchet ms",sans-serif">Note: I have tried</div><div class="gmail_default" style="font-family:"trebuchet ms",sans-serif">(a) setting synctex=0 in the Engine/pdftex and TeX + dvips +distiller panes</div><div class="gmail_default" style="font-family:"trebuchet ms",sans-serif"><br></div><div class="gmail_default" style="font-family:"trebuchet ms",sans-serif">(b) a modified Engine</div><div class="gmail_default" style="font-family:"trebuchet ms",sans-serif"><br></div><div class="gmail_default"><font face="monospace, monospace">#!/bin/tcsh</font></div><div class="gmail_default"><font face="monospace, monospace">set path= ($path /usr/texbin /Applications/ConTeXt/tex/texmf-osx-64/bin)</font></div><div class="gmail_default"><font face="monospace, monospace">mtxrun --script context --autogenerate --synctex=0 "$1”</font></div><div class="gmail_default" style="font-family:"trebuchet ms",sans-serif"><br></div><div class="gmail_default" style="font-family:"trebuchet ms",sans-serif">So, what am I missing?</div><div class="gmail_default" style="font-family:"trebuchet ms",sans-serif"><br></div><div class="gmail_default" style="font-family:"trebuchet ms",sans-serif">Alan</div></div>