<p dir="ltr">+1 indeed, that way you can follow easily with typing a paren, thus enclosing it again. </p>
<p dir="ltr">Laurent</p>
<div class="gmail_quote">Le 23 mai 2013 17:17, "John Clements" <<a href="mailto:clements@brinckerhoff.org">clements@brinckerhoff.org</a>> a écrit :<br type="attribution"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div style="word-wrap:break-word"><br><div><div>On May 23, 2013, at 8:13 AM, Robby Findler wrote:</div><br><blockquote type="cite"><br><br>On Thursday, May 23, 2013, Nadeem Abdul Hamid wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div dir="ltr">Hello Racket devs,<div><br>
<div>I'm working on tweaking how typing a double quote is handled in strings when DrRacket's auto parens mode is on, per recent post on the users list. If any of you use the mode and can offer feedback on the following, it'd be appreciated: In addition to handling Laurent's initial feature request (see message at bottom), I'm setting it up so that if the following string is in the DrRacket window:</div>
<div> "abcdefghi"</div><div>and you select the _def_ and press " (double quote), then it places double-quotes around the "def" with additional quotes to ensure that the other two portions of the string are still validly delimited, i.e.</div>
<div> "abc""def""ghi"</div><div><br></div><div>One question is where to put the cursor following this operation? Should it be right inside the beginning of the lifted string, or in front of its double quotes, i.e.:</div>
<div> "abc""|def""ghi" </div><div>or "abc"|"def""ghi"</div><div>?</div><div><br></div></div></div></blockquote><div><br></div><div>Oh: another possibility: keep the selection where it is (or, perhaps better, select the open quote, the def, and the close quote).</div>
</blockquote><div><br></div><div>+1</div><div><br></div><div>John</div><div><br></div></div></div><br>_________________________<br>
Racket Developers list:<br>
<a href="http://lists.racket-lang.org/dev" target="_blank">http://lists.racket-lang.org/dev</a><br>
<br></blockquote></div>