<div dir="ltr">Thanks!<br></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Wed, May 22, 2013 at 11:05 PM, Nadeem Abdul Hamid <span dir="ltr">&lt;<a href="mailto:nadeem@acm.org" target="_blank">nadeem@acm.org</a>&gt;</span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Ok ok. :-) <span></span>I will try to work on it in the next day or so if no one else gets to it first.<div>--- nadeem<div>

<div class="h5"><br><br>On Wednesday, May 22, 2013, Laurent  wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div dir="ltr">(actually double-quote, double-quote, backspace is more efficient, but just typing double-quote would be so much simpler, in particular because when I need this, I need it often, e.g. in slideshow)<br></div>




<div class="gmail_extra"><br><br><div class="gmail_quote">On Wed, May 22, 2013 at 6:18 PM, John Clements <span dir="ltr">&lt;<a>clements@brinckerhoff.org</a>&gt;</span> wrote:<br>


<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div><div><br>
On May 22, 2013, at 7:07 AM, Laurent wrote:<br>
<br>
&gt; Hi,<br>
&gt;<br>
&gt; The new behavior of automatic parenthesis matching is really nice, but there is one problem with string quotes.<br>
&gt; For example, if the cursor is in the middle of a string and I type the string-quote symbol &quot;, it places a quote which cuts the current string and leaves the right part in a bad syntax.<br>
&gt;<br>
&gt; Most of the time, when I type a quote inside a string, it&#39;s because I want to split the string in two parts.<br>
&gt; To do that, I have to type string-quote, string-quote, delete (to remove the extra string-quote added by the paren-match behavior), and left to go back between the two strings, which is mildly annoying.<br>
&gt;<br>
&gt; Would it be possible (unless problematic) to have the default paren-match behavior for strings that splits the string instead of inserting a single string-quote, possibly unless the left symbol is a backslash?<br>
<br>
</div></div>+1. I&#39;ve developed a reflex to compensate for this, which is double-quote double-quote double-quote delete left-arrow… which is a bit painful.<br>
<span><font color="#888888"><br>
John<br>
<br>
</font></span></blockquote></div><br></div>
</blockquote></div></div></div><span class="HOEnZb"><font color="#888888"><br><br>-- <br>Sent from Gmail Mobile<br>Nadeem Abdul Hamid<br><a href="http://cs.berry.edu/nhamid" target="_blank">http://cs.berry.edu/nhamid</a><br>


</font></span></blockquote></div><br></div>