Re: Customizing key bindings

[Per Abrahamsen]

Richard Stallman <address@hidden> writes:

>       Now, if #2 had been difficult to do,
>     then we would have returned to #1.  But #2 was rather easy to do.
>     This is why I see no reason to do #1 at the moment.
>
> It seems that that #1 gives a cleaner behavior than #2.
>
> You're arguing that it won't matter in practice.  Perhaps that is
> true.

We can install #2 now (since we have it), and switch to #1 (which I
agree is cleaner) if approach #2 proves to cause problems in practice.
The interface is the same as far as I can see, so it would be a clean
switch.