On Sat, Nov 24, 2012 at 3:11 PM, Nadeem Abdul Hamid <nad...@acm.org> wrote:
> On Sat, Nov 24, 2012 at 4:03 AM, Laurent <laurent.ors...@gmail.com> wrote: > >> 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 >> 'begin/end-edit-sequence' ?). > > > Yeah, the undo behavior I'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? > 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). In the case of meanwhile edits, I don't think the user would bother deleting the closing paren himself. 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. Laurent
_________________________ Racket Developers list: http://lists.racket-lang.org/dev
