<br><div class="gmail_extra"><br><br><div class="gmail_quote">On Sat, Nov 24, 2012 at 3:11 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"><div class="gmail_extra"><div class="gmail_quote"><div class="im">On Sat, Nov 24, 2012 at 4:03 AM, Laurent <span dir="ltr">&lt;<a href="mailto:laurent.orseau@gmail.com" target="_blank">laurent.orseau@gmail.com</a>&gt;</span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">

If you can, I think it would be a good idea to remove the paren pair if the user deletes the opening paren he just typed by mistake. Undo should do the same (which apparently it does not currently; missing &#39;begin/end-edit-sequence&#39; ?).</blockquote>



<div><br></div></div><div>Yeah, the undo behavior I&#39;ve fixed. The first scenario you mention might be tricky - how do you distinguish between typing an open paren and then immediately deleting it vs. typing an open paren, making a bunch of other edits, and then coming back and deleting the open paren? </div>

</div></div></blockquote><div><br>I think it would already be good enough to only consider the case  where the user types the paren and wants to remove them immediately (e.g., he placed them in the wrong place, or wanted square brackets instead, or just changed his mind). <br>

In the case of meanwhile edits, I don&#39;t think the user would bother deleting the closing paren himself.<br><br>Another idea could be to remove the closing paren of the enclosed s-expr automatically; but there may be some cases where this could lead to undesired behaviors.<br>

<br>Laurent<br></div></div><br></div>