15 Aug
2008
15 Aug
'08
5:38 p.m.
On 16/08/2008, at 2:43 AM, Adam R. Maxwell wrote:
Personally, I don't care to have it disabled, and the only reason I can see for disabling it is to avoid creating the synctex file (which isn't much of a reason, given all the other temporary files that LaTeX et al. create).
For what it's worth, I agree with Adam. No need to clutter the interface with an option that turns off something you're not using :)
Cheers, Will