<html><head></head><body><div style="font-family: Verdana;font-size: 12.0px;"><div>Hi Stefan,</div>
<div> </div>
<div> </div>
<div>sorry for the delay and thanks for your answer. </div>
<div><br/>
>Did you use Ctrl+Left click or "Jump to source" from the context menu?<br/>
>If you used the latter (the context menu), there was a bug which should<br/>
>have been fixed by bbd405d.</div>
<div> </div>
<div>Ctrl+Left click works fine with my texworks version. Thanks for the hint. </div>
<div> </div>
<div>To solve the right click --> jump to source issue I need to wait till the version in the texlive tree will be updated but thank you for mention it.</div>
<div> </div>
<div>Regards,</div>
<div>Rob</div></div></body></html>