<br><br><div class="gmail_quote">On Thu, Nov 22, 2012 at 7:20 PM, Nadeem Abdul Hamid <span dir="ltr">&lt;<a href="mailto:nadeem@acm.org" target="_blank">nadeem@acm.org</a>&gt;</span> wrote:</div><div class="gmail_quote"><br>
</div><div class="gmail_quote"><span style="font-family:arial,sans-serif;font-size:13px"><br></span><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div><span style="font-family:arial,sans-serif;font-size:13px">1. Do you use the automatic parentheses feature of DrRacket?</span></div>
</blockquote><div>Yes </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div>

<span style="font-family:arial,sans-serif;font-size:13px"><br></span></div><div><span style="font-family:arial,sans-serif;font-size:13px">2a. If yes, does the proposal above resonate well with you? </span></div></blockquote>
<div>I would prefer the following.  On my computer (windows) when auto-inserted closing parenthesis is enabled, if I type ctrl [ then no closing bracket is inserted but  ctrl ( inserts a closing bracket and ctrl { does nothing.  I would prefer ctrl-( , ctrl-[ and ctrl-{ all don&#39;t insert a closing bracket and also use ctrl-), ctrl-} and ctrl-] for the behavour you describe. </div>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div><span style="font-family:arial,sans-serif;font-size:13px">2b. And, do you think this &quot;smart skipping&quot; of auto-inserted closing parentheses should become the intrinsic behavior of the automatic parentheses mode, or should it be a separate preference? </span><span style="font-family:arial,sans-serif;font-size:13px"><br>
</span></div></blockquote><div>I would like a separate preference. </div><div>Thanks,</div><div>Harry Spier </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div>
<span style="font-family:arial,sans-serif;font-size:13px"><br></span></div>
<br>____________________<br>
  Racket Users list:<br>
  <a href="http://lists.racket-lang.org/users" target="_blank">http://lists.racket-lang.org/users</a><br>
<br></blockquote></div><br>