<div class="gmail_quote">On Sat, Sep 17, 2011 at 9:18 AM, Mojca Miklavec <span dir="ltr"><<a href="mailto:mojca.miklavec.lists@gmail.com">mojca.miklavec.lists@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">

Some synctex-related problems have already been fixed in source tree<br>
(I'm not sure if your case is covered). But the binaries haven't been<br>
updated yet.</blockquote><div> </div></div><div>Cool, I'll keep checking the bug and let you know if a fix pops up. (If you let me know when the relevant binaries ship, I can also get back to you then. Thanks.)<br><br>

</div>