<div>Absolutely. </div>
<div> </div>
<div>That clears that up - will the fix add a specific command for doing this on pasted text please?</div>
<div> </div>
<div>Paul<br><br></div>
<div class="gmail_quote">2009/9/19 Jonathan Kew <span dir="ltr">&lt;<a href="mailto:jfkthame@googlemail.com">jfkthame@googlemail.com</a>&gt;</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 Fri, Sep 18, 2009 at 10:34 AM, Jonathan Kew &lt;<a href="mailto:jfkthame@googlemail.com">jfkthame@googlemail.com</a>&gt; wrote:<br>&gt;&gt;&gt; I think you&#39;ll find that the &quot;smart quotes&quot; function only applies to text<br>
&gt;&gt;&gt; *as it is typed*; it won&#39;t modify existing text, or fix up blocks of text<br>&gt;&gt;&gt; that you&#39;re pasting into the document.<br>&gt;&gt;<br>&gt;&gt; No it works with text created, for example, in jEdit with &quot;, copied and<br>
&gt;&gt; pasted to TeXworks and then &quot;passing the cursor over the text&quot; with Smart<br>&gt;&gt; quotes enabled. (tested)<br>&gt;<br>&gt; Oh! I&#39;m surprised at that; in fact, I&#39;m inclined to consider it a bug. But I<br>
&gt; should think about it a bit more...<br><br></div>Yes, this was not intended behavior, it was an oversight in the<br>implementation. I consider it a bug that simply moving the cursor<br>forward through the text can result in the text getting changed; this<br>
is not appropriate behavior in an editor.<br><br>I&#39;ve just committed a change (r.422) to fix this, so this &quot;feature&quot;<br>will disappear from future builds. &quot;Smartening&quot; existing quotes should<br>be an explicit action, not something that happens as a side effect of<br>
moving the cursor. :)<br><font color="#888888"><br>JK<br></font></blockquote></div><br>