On 12/20/2015 10:51 PM, Mojca Miklavec wrote:
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.
hm, normally i'd turn of such features explicitly in the document header (the more one turns on, the slower the run) (ok, i never turn on that kind of stuff anyway) Hans ----------------------------------------------------------------- Hans Hagen | PRAGMA ADE Ridderstraat 27 | 8061 GH Hasselt | The Netherlands tel: 038 477 53 69 | voip: 087 875 68 74 | www.pragma-ade.com | www.pragma-pod.nl -----------------------------------------------------------------