John Levon wrote:
>
> On Sun, Jun 02, 2002 at 09:31:43PM -0300, Garst R. Reese wrote:
>
> > > I do not get "{ {" but something else ...
> > Shoudn't you get "{ }"? Why would you expect "{ {"
>
> Selecting both :
>
> { -> { }
> } -> } }
> / -> / /
> \ -> \ \
>
> There are some inconsistencies here.
>
Sort of. /abc/ or \abd\ makes sense to me, but /abc\ does not.
OTOH , I think that both } should work the same as both {, or selecting
both should inactivate the closing delimiter.
> Also the arrows to the right of the choices don't fit in the box.
>
I don't understand what you mean here, so I probably do not see the
problem.
Garst
