Re: delete-selection-mode

[Miles Bader]

Richard Stallman <address@hidden> writes:
>     It does have many more effects.  The most significant one is that any
>     self-inserting key typed when the region is active will cause the region
>     to be deleted before the char is inserted.
>
> Is this true even when the region has been activated by keyboard commands?
> If so, perhaps it is a bug.  Perhaps the feature should only apply when
> you make the region using the mouse.

I think having invisible differences between "types" of activated region
is simply confusing; this is especially problematic given that the
feature being discussed is aimed at beginning users.

Whether or not we turn on "type to delete region" by default or not, I
don't think we should be adding confusing hair to the user interface.
When it is enabled, it should act consistently for all types of active
region.

-Miles

-- 
Consult, v.i. To seek another's disapproval of a course already decided on.