I'll hold off doing anything :-)<br><br>
<div class="gmail_quote">2009/9/18 Jonathan Kew <span dir="ltr"><<a href="mailto:jfkthame@googlemail.com">jfkthame@googlemail.com</a>></span><br>
<blockquote style="BORDER-LEFT: #ccc 1px solid; MARGIN: 0px 0px 0px 0.8ex; PADDING-LEFT: 1ex" class="gmail_quote">
<div class="im">On 18 Sep 2009, at 10:27, Alain Delmotte wrote:<br><br>
<blockquote style="BORDER-LEFT: #ccc 1px solid; MARGIN: 0px 0px 0px 0.8ex; PADDING-LEFT: 1ex" class="gmail_quote">Jonathan Kew a écrit :<br>
<blockquote style="BORDER-LEFT: #ccc 1px solid; MARGIN: 0px 0px 0px 0.8ex; PADDING-LEFT: 1ex" class="gmail_quote">On 18 Sep 2009, at 08:46, Alain Delmotte wrote:<br><br>
<blockquote style="BORDER-LEFT: #ccc 1px solid; MARGIN: 0px 0px 0px 0.8ex; PADDING-LEFT: 1ex" class="gmail_quote">Hi Paul,<br><br>Paul A Norman a écrit :<br>
<blockquote style="BORDER-LEFT: #ccc 1px solid; MARGIN: 0px 0px 0px 0.8ex; PADDING-LEFT: 1ex" class="gmail_quote">Hi All,<br>Note: TexWorks is so stable, and useful now, that I'm using it for major projects.<br>Is there anything planned for correcting quotemarks chr(34) from imporrted/pasted text please, or should I look at a script for that?<br>
Or have I missed it in the manual :-) ?<br></blockquote>Do you mean changing "text" to “text” or \lq\lq{}texte\rq\rq{}or ``text''?<br>If yes, you could go to "Format / Smart quotes" and you select one of the systems.<br>
Then moving the cursor over the text, whenever it will pass over a ", this will be replaced by the corresponding opening or closing symbol/code.<br></blockquote><br><br>I think you'll find that the "smart quotes" function only applies to text *as it is typed*; it won't modify existing text, or fix up blocks of text that you're pasting into the document.<br>
</blockquote>No it works with text created, for example, in jEdit with ", copied and pasted to TeXworks and then "passing the cursor over the text" with Smart quotes enabled. (tested)<br></blockquote><br></div>
Oh! I'm surprised at that; in fact, I'm inclined to consider it a bug. But I should think about it a bit more...<br><font color="#888888"><br>JK<br><br></font></blockquote></div><br>