<div class="gmail_quote">On Fri, Nov 18, 2011 at 11:00, Ignasi Furió <span dir="ltr"><<a href="mailto:ignasi.furio@uib.cat">ignasi.furio@uib.cat</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">

<br>
I think it would be better that open file from previewer offered as its first option a pdf filter instead of<br>
tex one. Even more because, once the pdf file is selected, its tex source (if exists) is not automatically opened.<br><br></blockquote><div><br></div><div>Agree. It should be straightforward to change that behaviour for the next build.</div>

<div><br></div><div>/Sigmund</div></div>