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<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"><<a href="javascript:_e({}, 'cvml', 'clements@brinckerhoff.org');" target="_blank">clements@brinckerhoff.org</a>></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>
> Hi,<br>
><br>
> The new behavior of automatic parenthesis matching is really nice, but there is one problem with string quotes.<br>
> For example, if the cursor is in the middle of a string and I type the string-quote symbol ", it places a quote which cuts the current string and leaves the right part in a bad syntax.<br>
><br>
> Most of the time, when I type a quote inside a string, it's because I want to split the string in two parts.<br>
> 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>
><br>
> 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'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><br><br>-- <br>Sent from Gmail Mobile<br>Nadeem Abdul Hamid<br><a href="http://cs.berry.edu/nhamid">http://cs.berry.edu/nhamid</a><br>