[texworks] synctex

[Jonathan Kew]

On 4 Sep 2008, at 7:38 AM, Bruno Voisin wrote:

> Le 4 sept. 08 à 07:56, Joseph Wright a écrit :
>
>> Joseph C. Slater PE, PhD wrote:
>>> What is the click/key sequence to use synctex? If it matters, I'm
>>> talking about on Windows.
>>
>> Ctrl-click.

At least for the time being; I'm not sure if this is really the best  
choice. (Suggestions welcome.)

>>  You'll need to alter the compiler options to "-synctex=-1"
>> if you're using MiKTeX, as the default produces the wrong format of  
>> sync
>> data.
>
> It seems --synctex=1 produces compressed sync data (in .synctex.gz  
> format), which only a few editors/previewers can take advantage of  
> (TeXShop and TeXworks on the Mac, probably iTeXMac as well), while -- 
> synctex=-1 produces uncompressed sync data (in .synctex format).

TeXworks ought to be able to use the compressed sync data on Windows  
as well, but the current builds are broken in this regard so you have  
to use uncompressed data as a workaround until I fix that.

Editors/previewers that rely on the synctex command-line tool to  
interact with the data, rather than having their own built-in code,  
ought to be OK with .gz, as the tool is supposed to support that.

> BTW, I got that info from Dick Koch, the developer of TeXShop, but  
> could not find any related documentation. "pdftex --help" points out  
> a --synctex=NUMBER option, without telling what NUMBER means (other  
> than it must be non-zero). There's a command-line synctex utility,  
> but "synctex help" doesn't say anything about this number. And the  
> pdfTeX manual (in TeX Live 2008) dates back to January 2007 and  
> doesn't say anything about SyncTeX.

For now, I think this isn't really documented except in the synctex  
source code (which is generously commented). I'd expect that - 
synctex=1 will be the normal thing to use; the uncompressed version  
exists primarily for diagnostic purposes.

JK