On 6/2/07, <b class="gmail_sendername">Mark</b> &lt;<a href="mailto:brouce@gmx.net">brouce@gmx.net</a>&gt; wrote:<div><span class="gmail_quote"></span><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
So I would like to change this globaly for every document I process!</blockquote><div><br>You can set the variable TEX_PSTRICKS to 1, in the Shell Variables section of Preferences.<br></div></div><br>(I was working on improving the configuration of things like this, but have been rather distracted from it recently by a new baby.)
<br><br>Robin<br>