20 Dec
2015
20 Dec
'15
9:51 p.m.
On 20 December 2015 at 22:48, luigi scarso wrote:
On Sun, Dec 20, 2015 at 9:37 PM, Alan Bowen wrote:
Great—so how does one turn on/off synctex?
synctex should be disabled by default; it's enabled by --synctex , i.e.
$> context --synctex <tex file>
Some editors (like TeXworks, TeXShop, ...) enable it by default. In those cases it has to be explicitly turned off somewhere in the engine file or engine settings. And the editor loses quite a bit of functionaltiy. Mojca