Hi Nicola, I do use ConTeXt with TeXShop on MacOS, and I use extensively synctex. Indeed there has been a big change in synctex a few years ago, since the « classic » synctex code by Jérôme Laurens was changed, and more or less at the same time Hans introduced independently a new synctex setup (and code) for ConTeXt. Richard Koch added a special syntex code in TeXShop in order to use the changes introduced by Hans. Richard added also a special menu item in the Macros menu of TeXShop which adds the line % !TEX useOldSyncParser in your source file. Now, that being said, in order to use synctex in TeXShop and ConTeXt, you have to add the following two lines at the top of your source file: % !TEX useOldSyncParser \setupsynctex[state=start,method=min] % or method=max Then you typeset your file and you can get the usual synctex behaviour (however, for some unknown reason it may happen that the first time you typeset your file with the above two lines, you don't get the synctex working: you have to quit TeXShop and open again your file and then synctex works fine…). Best regards: OK
On 9 Apr 2019, at 19:23, Nicola Vitacolonna
wrote: Hi, is anyone using ConTeXt with Skim, or TeXShop, on macOS?
SyncTeX used to work fine with ConTeXt in both apps. Now, it seems that ConTeXt has started to generate a .synctex file rather than a .synctex.gz, and the format seems to have changed (?). As I haven’t followed recent (or perhaps not so recent) developments in this area, do you have any suggestions to make SyncTeX work again?
I am using Skim, but any PDF viewer would be fine if Skim cannot be used for the purpose any longer.
Thanks in advance, Nicola ___________________________________________________________________________________ If your question is of interest to others as well, please add an entry to the Wiki!
maillist : ntg-context@ntg.nl / http://www.ntg.nl/mailman/listinfo/ntg-context webpage : http://www.pragma-ade.nl / http://context.aanhet.net archive : https://bitbucket.org/phg/context-mirror/commits/ wiki : http://contextgarden.net ___________________________________________________________________________________